Jekejeke Prolog Minlog

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 info@xlog.ch . 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.
Read more
4.0
4 total
5
4
3
2
1
Loading...

What's New

Release 1.0.1 (November 02., 2018):
What's New (for more details see website):
- New module "chr" for constraint handling rules.
- New module "asp" for answer set programming.
Read more

Additional Information

Updated
November 2, 2018
Size
395k
Installs
1,000+
Current Version
1.0.1
Requires Android
2.2 and up
Content Rating
Everyone
Permissions
Offered By
XLOG Technologies GmbH
©2018 GoogleSite Terms of ServicePrivacyDevelopersArtistsAbout Google|Location: United StatesLanguage: English (United States)
By purchasing this item, you are transacting with Google Payments and agreeing to the Google Payments Terms of Service and Privacy Notice.