Jekejeke Prolog Minlog
7.1
1.2.0
2025-04-22
最新版本
Jekejeke Minlog是Jekejeke运行时或环境的扩展。
该扩展名提供了正向链条和属性变量的附加功能。我们还提供CLP（FD）求解器，CLP（B）求解器，CHR规则和ASP规则。 Jekejeke Minlog部分用100％的Java编写，部分是在Prolog本身中。要使用jekejeke minlog，一个人首先要安装jekejeke运行时或jekejeke环境或两者兼而有之。
由于该应用程序仍处于测试阶段，因此尚未与Google Play商店完全集成。要运行该应用程序，必须访问http://www.jekejeke.ch/并获得许可证。我们希望我们能尽快解决不便。
最新版本1.2.0中的新功能
最后一次更新于2021年4月7日版本1.2.0（3月21日，2021年）：新功能（有关更多详细信息，请参见网站）：
- 与运行时库1.5.0的兼容性。
展开
Jekejeke Prolog Minlog 截图
软件推荐
