Jekejeke Prolog Runtime
Education | 1.1MB
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.
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.