Jekejeke Minlog - это расширение для времени выполнения Jekejeke или окружающей среды.
Расширение обеспечивает дополнительную функциональность переменных прямого цепочки и атрибутов. Мы также предоставляем решатель CLP (FD), решатель CLP (B), правила CHR и правила ASP. Jekejeke Minlog написан частично на 100% Java и частично в самой Prolog. Использовать Jekejeke Minlog One есть первым, чтобы установить либо Runtime Jekejeke, либо среду Jekejeke, либо и то, и другое.
Поскольку приложение все еще находится на этапе тестирования, в магазине Google Play еще нет полной интеграции. Чтобы запустить приложение, нужно перейти на http://www.jekejeke.ch/ и получить лицензию. Мы надеемся, что скоро сможем разрешить неудобства.
Скачать