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.