Jekejeke Prolog Runtime1.5.0
Publisher Description
The Jekejeke Runtime is a very user-friendly, exceedingly robust and highly conformant Prolog implementation 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.
About Jekejeke Prolog Runtime
The company that develops Jekejeke Prolog Runtime is XLOG Technologies GmbH. The latest version released by its developer is 1.5.0. This app was rated by 1 users of our site and has an average rating of 5.0.
To install Jekejeke Prolog Runtime on your Android device, just click the green Continue To App button above to start the installation process. The app is listed on our website since 2021-03-22 and was downloaded 91 times. We have already checked if the download link is safe, however for your own protection we recommend that you scan the downloaded app with your antivirus. Your antivirus may detect the Jekejeke Prolog Runtime as malware as malware if the download link to jekpro.platform.headless is broken.
How to install Jekejeke Prolog Runtime on your Android device:
- Click on the Continue To App button on our website. This will redirect you to Google Play.
- Once the Jekejeke Prolog Runtime is shown in the Google Play listing of your Android device, you can start its download and installation. Tap on the Install button located below the search bar and to the right of the app icon.
- A pop-up window with the permissions required by Jekejeke Prolog Runtime will be shown. Click on Accept to continue the process.
- Jekejeke Prolog Runtime will be downloaded onto your device, displaying a progress. Once the download completes, the installation will start and you'll get a notification after the installation is finished.
Program Details
System requirements
Download information
Pricing
Version History
version 1.5.0
posted on 2021-03-22
Release 1.5.0 (March 21., 2021):
What's New (for more details see website):
- Occurs check fresh variable heuristic.
- var/1 indexing only for static predicates.
- New predicates sys_rule/3 and sys_rule_ref/4.
version 1.4.7
posted on 2021-01-27
Release 1.4.7 (January 26., 2021):
What's New (for more details see website):
- New occurs check flag.
- New module "lists" predicates.
- New closure expansion.
version 1.4.6
posted on 2020-10-28
Release 1.4.6 (October 25., 2020):
What's New (for more details see website):
- Search options in absolute_file_name/3.
- Search options in open/4.
- Some speed-up of the Prolog text loader.
version 1.4.5
posted on 2020-08-11
Release 1.4.5 (August 9., 2020):
What's New (for more details see website):
- New block operator () introduced.
- New directive foreign_special/3 introduced.
- New Java interface InterfacePivot inroduced.
version 1.4.4
posted on 2020-05-28
Release 1.4.4 (May 26., 2020):
What's New (for more details see website):
- The predicate number_compare/3 now does deep compare.
- There is a new comparator sort option.
- The predicate order_by/2 now takes a sort function list.
version 1.4.3
posted on 2020-04-10
Release 1.4.3 (April 09., 2020):
What's New (for more details see website):
- More evaluable functions in module "bits".
- New module "ratio".
- New module "approx".
version 1.4.2
posted on 2020-01-20
Release 1.4.2 (January 20., 2020):
What's New (for more details see website):
- Support for Android TV.
- Shared Tabling Prototype.
- New Module "bytes".
- New Module "broker".
version 1.4.1
posted on 2019-11-12
Release 1.4.1 (November 12., 2019):
What's New (for more details see website):
- Disjunction inlining: Complete and no more flattening.
- Module "sequence": New distinct/2 and order_by/2.
- Module "tabling": New as/2 for tabling options.
version 1.4.0
posted on 2019-08-21
Release 1.4.0 (August 20., 2019):
What's New (for more details see website):
- Module library(advanced/aggregate): Parameterized Aggregate Functions
- New Module library(advanced/tabling).
version 1.2.5
posted on 2017-12-22
Release 1.2.5 (December 22., 2017):
What's New (for more details see website):
- Module system/xml complex types and nametokens.
- New module stream/xsl validation and transform.
