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.
Release 0.8.8 (March 3., 2017):
Whats new in this release:
- Multi precision evaluable functions mp/2 introduced.