Jekejeke Prolog Runtime

Jekejeke Prolog Runtime

10,000 - 50,000 downloads

Add this app to your lists
The Jekejeke Prolog runtime library is an interpreter only implementation of Prolog written in 100% Java. The runtime library provides a simple console interface and no debugger. The implementation of the language mainly follows the ISO Prolog core standard. The implementation also features an application programming interface.

The interpreter 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-3 show the interactive interpreter in action.

The screenshots 4-6 show an example application that makes use of the embedded interpreter. The interpreter.apk cannot be directly embedded. One has to obtain interpreter.zip from the web site at http://www.jekejeke.ch/ to be able to compile the application.

There is also the Jekejeke Prolog development environment for Android which features a debugger. For the moment it can only be downloaded from the web site. On the web site one finds also Swing versions of both the Jekejeke Prolog runtime library and the Jekejeke Prolog development enviroment.

Tags: jekejeke prolog, laufzeit bibliothek, jekejeke prolog envrionment, jekejeke prolog apk.

Recently changed in this version

Release 1.0.4 (November 14., 2014):
What's New:
- Package local member visibility inside modules.
- Structured module names and library paths.
- Various new modules such as file, shell, etc..

Known Issues:
- Doesn't work with all vendor soft keyboards.
- Keyboard hides the text input line sometimes.


Comments and ratings for Jekejeke Prolog Runtime
  • (69 stars)

    by Stanislav Maslovski on 04/12/2014

    Unifications like X = [X] simply crash the interpreter. Definitions like p(X):-q(X). q(X):-p(X). make it loop forever without a possibility to abort the execution. The abort function from the menu does not work in this case. UPD: v1.0.4 still impossible to abort sometimes, for example, try goal p(X, s(1), Z) with theory p(s(X),Y,s(Z)) :- p(X,Y,Z). p(1,Y,s(Y)). Let it loop for some seconds and try

  • (69 stars)

    by Brian Kieffer on 22/10/2014

    Noice!

  • (69 stars)

    by Guillermo Ithier on 24/09/2014

    Great interpreter

  • (69 stars)

    by Gnanaoly Annamalai on 24/09/2014

    Looks good

  • (69 stars)

    by Mano Gajapathi on 15/07/2014

    I seeked for SWI prolog and I final got this, as of its app size good but some issues in logics. Can't get my actual inferences from KB. hope developer will test small programs. Thanks!

  • (69 stars)

    by David Eddyshaw on 18/04/2014

    This is very nice. Now that the settings are fixed to work with the latest Android version it is almost perfect. 18.4.14: latest update breaks the load path settings

  • (69 stars)

    by Vishesh Likhitkar on 04/02/2014

    four stars just for doing this :) (yet to run the app)