首页 > TAG信息列表 > jpl

春季-具有SWI-Prolog的Docker容器因致命错误而终止

我正在开发一个Spring Boot Web应用程序,它使用SWI-Prolog的JPL接口从Java调用Prolog.在开发模式下,一切正常. 当我将其部署到Docker时,通过API对JPL的首次调用运行良好.当我尝试再次调用JPL时,JVM崩溃. 我使用LD_PRELOAD指向libswipl.so SWI_HOME_DIR也被设置. LD_LIBRARY_PATH设

java-如何在Android中使用swi-prolog

我使用swi-prolog开发了一个prolog程序,并使用带有JPL.jar的常规java为其附加了接口, 运行得很好. 现在,我想使用android移动界面而不是java桌面界面执行相同操作.因此,我创建了一个android应用程序,将JPL添加为外部jar,并如前所述调用了prolog文件.代码中没有显示任何错误. 但是,

java – 使用JPL查询Prolog变量

我想通过JPL在java中使用Prolog进行查询,我阅读了文档(http://www.swi-prolog.org/packages/jpl/java_api/getting_started.html) 序言谓词是: child_of(joe, ralf). child_of(mary, joe). child_of(steve, joe). child_of(steve, ralf). descendent_of(X, Y) :- child_of(X,