首页 应用 教育学习 Jekejeke Prolog Minlog

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的兼容性。