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 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.