Jekejeke Runtime - это очень удобная, чрезвычайно надежная и хорошо совместимая реализация Prolog, написанная на 100% Java.Библиотека времени выполнения предоставляет простой консольный интерфейс без отладчика.Реализация языка в основном соответствует основному стандарту ISO Prolog.Реализация также имеет интерфейс прикладного программирования.
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.