The extension provides the additional functionality of forward chaining and attribute variables. We also provide a CLP(FD) solver. 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. The registration is seen in screenshot 3-6.
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. The activaition is seen in screenshot 7.
The extension has been tested with earlier smartphones running Android 2 (Froyo) and with newer tablets running Android 4 (Ice Cream Sandwich). Bug reports and feature requests can be sent to email@example.com . The screenshots 1-2 show the extension in action (Pythogarean Triples, Mini Isabelle Clone).
The module.apk cannot be directly embedded. One has to obtain module.zip from the web site at http://www.jekejeke.ch/ to be able to compile the application. The same web site can be used to download Swing versions. The website also contains the source text of those parts that are open.
Jekejeke Prolog Minlog is a free software application from the Teaching & Training Tools subcategory, part of the Education category.
The app is currently available in English and it was last updated on 2016-12-11. The program can be installed on Android.
Jekejeke Prolog Minlog (version 0.8.7) is available for download from our website.
Just click the green Download button above to start. Until now the program was downloaded 0 times.
We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.
Here you can find the changelog of Jekejeke Prolog Minlog since it was posted on our website on 2017-01-05.
The latest version is 0.8.7 and it was updated on soft112.com on 2017-06-30.
See below the changes in each version:
posted on 2016-12-11
Release 0.8.7 (December 12., 2016):,Whats new in this release:,- See Jekejeke Runtime changes.