Jekejeke Minlog是Jekejeke运行时或环境的扩展。
该扩展名提供了正向链条和属性变量的附加功能。我们还提供CLP（FD）求解器，CLP（B）求解器，CHR规则和ASP规则。 Jekejeke Minlog部分用100％的Java编写，部分是在Prolog本身中。要使用jekejeke minlog，一个人首先要安装jekejeke运行时或jekejeke环境或两者兼而有之。
由于该应用程序仍处于测试阶段，因此尚未与Google Play商店完全集成。要运行该应用程序，必须访问http://www.jekejeke.ch/并获得许可证。我们希望我们能尽快解决不便。
下载