About Jekejeke Prolog Minlog
The extension provides the additional functionality of forward chaining and attribute variables. We also provide a CLP(FD) solver, a CLP(B) solver, CHR rules and ASP rules. Jekejeke Minlog is written partly in 100% Java...
The extension provides the additional functionality of forward chaining and attribute variables. We also provide a CLP(FD) solver, a CLP(B) solver, CHR rules and ASP rules. Jekejeke Minlog is written partly in 100% Java and partly in Prolog itself. To use Jekejeke Minlog one has first to install either Jekejeke Runtime or Jekejeke Environment or both.
Since the app is still in testing phase there is not yet a full integration with the Google Play store. To run the app one has to go to http://www.jekejeke.ch/ and obtain a license. We hope we can resolve the inconvenience soon.
Previous Versions
Here you can find the changelog of Jekejeke Prolog Minlog since it was posted on our website on 2017-01-05 21:37:34.
The latest version is 1.2.0 and it was updated on 2024-04-19 21:49:33. See below the changes in each version.
Jekejeke Prolog Minlog version 1.2.0
Updated At: 2021-03-22
Changes: Release 1.2.0 (March 21., 2021):
What's New (for more details see website):
- Compatibility with runtime library 1.5.0.
Jekejeke Prolog Minlog version 1.1.7
Updated At: 2021-01-27
Changes: Release 1.1.7 (January 26., 2021):
What's New (for more details see website):
- Module CLP(B) moved to package "boole".
Jekejeke Prolog Minlog version 1.1.6
Updated At: 2020-10-28
Changes: Release 1.1.6 (October 25., 2020):
What's New (for more details see website):
- Predicate unifiable/3 introduced.
- Predicate dif_with_occurs_check/2 introduced.
- Boolean expressions +/1 and */1 introduced.
- Predicate sat_count/2 introduced.
Jekejeke Prolog Minlog version 1.1.5
Updated At: 2020-08-11
Changes: Release 1.1.5 (May 9., 2020):
What's New (for more details see website):
- Compatiblity with runtime library 1.4.5.
Jekejeke Prolog Minlog version 1.1.4
Updated At: 2020-05-28
Changes: Release 1.1.4 (May 26., 2020):
What's New (for more details see website):
- Fixed parent application chooser null pointer error.
Jekejeke Prolog Minlog version 1.1.3
Updated At: 2020-04-10
Changes: Release 1.1.3 (April 09., 2020):
What's New (for more details see website):
- New parent application chooser.
Jekejeke Prolog Minlog version 1.1.2
Updated At: 2020-01-23
Changes: Release 1.1.2 (January 20., 2020):
What's New (for more details see website):
- Support for Android TV.
Jekejeke Prolog Minlog version 1.1.1
Updated At: 2019-11-12
Changes: Release 1.1.1 (November 12., 2019):
What's New (for more details see website):
- Module "asp": New predicates min_choose/[2,3].
- Module "asp": New predicates random_min_choose/[2,3].
Jekejeke Prolog Minlog version 1.1.0
Updated At: 2019-08-21
Changes: Release 1.1.0 (August 20., 2019):
What's New (for more details see website):
- Module "asp": New predicates random_choose/[1,2].
Jekejeke Prolog Minlog version 0.8.7
Updated At: 2016-12-11
Changes: Release 0.8.7 (December 12., 2016):,Whats new in this release:,- See Jekejeke Runtime changes.
Disclaimer
External Download
We do not host Jekejeke Prolog Minlog on our servers. We did not scan it for viruses, adware, spyware or other type of malware. This app is hosted by Galad and passed their terms and conditions to be listed there. We recommend caution when installing it.
The APK Download link for Jekejeke Prolog Minlog is provided to you by apps112.com without any warranties, representations or guarantees of any kind, so access it at your own risk.
If you have questions regarding this particular app contact the publisher directly. For questions about the functionalities of apps112.com contact us.
