首页 > TAG信息列表 > swi-prolog

春季-具有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设

是否有将MySQL数据转换为Prolog规则以进行探索性挖掘的特定规则?

我有三个表(目前),一个表具有2000行,另外两个表各具有约160万行.它们具有相互关联的列,但它们不是正式的FK字段.我已经编写了一个C程序来基于源MySQL数据生成规则文件,如下所示: if T{ C1, C2...Cn } is the table definition then the rule would be: T(C1, C2, Cn). 我的转

从php在服务器上运行prolog(或使其成为守护进程)

我正在学习Prolog,并且确实想了解它如何用于现实世界的Web应用程序.一切都可以在本地主机上完美运行,但是在使我的创作生效方面有些麻烦. 要在服务器上启动它,我遵循了本教程:http://www.j-paine.org/dobbs/prolog_from_php.html 通过对php进行一些更改,我可以使其生效. 我的PHP代码

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,

如何从swi-prolog中执行的python脚本获取输出值

如何制作执行Python文件score.py的swi-prolog程序并获取输出? 我读过有关process_create / 3和exec / 1但我找不到太多文档解决方法:您需要使用process_create / 3的stdout / 1和stderr / 1选项. 例如,这是一个简单的谓词,它只是将流程输出复制到标准输出: output_from_process(Exe

SWI-Prolog语义Web库和Python接口

我想编写一个使用Prolog查询RDF三元组的Python Web应用程序.我发现pyswip用于连接Python和SWI-Prolog,我目前正在研究SWI-Prolog的RDF功能.我想知道是否有人之前尝试过这个 – 如果有人有:你的设置是什么样的?如何让pyswip与SWI-Prolog语义Web库一起工作?或者是否有另一个Python-Prolo