从python调用prolog谓词

如何解决从python调用prolog谓词

| 我有一些.pl文件，我想从python脚本中调用在其中声明的谓词。我怎样才能做到这一点？例如test.pl

rD( [],Ans,Ans ).
rD( [X|Xs],Acc ) :-
    member( X,Acc ),rD( Xs,!.
rD( [X|Xs],Acc ) :-
    \\+member( X,append( Acc,[X],AccNew ),!.

像

?- rD( [1,2,3,4,5,4],X ).
X = [1,5].

我想以某种方式从python脚本调用rD并在结果变量中获取答案

result
[1,5]

ps：这只是一个例子，我不想重写当前的Prolog程序。

解决方法

并不是我有直接的经验，而是有一个名为PySWIP的项目，该项目提供了Python和SWI-Prolog之间的桥梁。托管在Google Code项目页面上的Wiki包含安装说明和一些用法示例。编辑（2019年7月5日）现在，PySWIP似乎已经在Github上进行了维护，并带有自己的安装说明。 TLDR：对于Python 2和3，安装SWI-Prolog和pip install pyswip应该可以完成。 ,由于您不想“重写我当前的Prolog程序”，因此我认为自然的方法是通过适当的命令行参数从Python到SWI-Prolog进行外部调用。让我们看一下2008年9月的SO讨论，如何在Python中调用外部命令。使用subprocess模块，可以将来自外部命令的stdout通过管道传递到Python进程并在其中作为流读取。这减少了为SWI-Prolog选择命令行参数的问题。可以通过类Unix系统上的shell脚本或Windows上的\“ DOS \” batch / cmd文件间接调用SWI-Prolog，但是我将省略对这种间接调用的进一步说明。特别参见第二节中的讨论。 WI8ѭ和ѭ9above选项的SWI-Prolog手册（上面链接）2.4.2。例如：

swipl --quiet -t rD( [1,2,3,4,5,4],X ),halt

可能会做你想要的。 --quiet选项禁止显示标题/欢迎消息，您可能想简化对Python接收到的输出的解析。 ,编写本文时，PyPI中的PySwip是针对Python3的更新，仅适用于旧版Python，但是github上的源代码与Python3兼容。您可以git clone，运行python3 setup.py install，它将为您提供Python3版本。要查询存储为Knowledge_base.pl的现有知识库，请执行以下操作：

from pyswip import Prolog
prolog = Prolog()
prolog.consult(\"knowledge_base.pl\")
for res in prolog.query(\"rD( [1,X ).\"):
    print(res)

# output:
# {\'X\': [1,5]}

from subprocess import Popen,PIPE,STDOUT

p = Popen(\'/usr/local/sicstus4.2.3/bin/sicstus\',shell=True,stdin=PIPE,stdout=PIPE,stderr=STDOUT)
cmd = open(\'/path/to/your/test.pl\').read()
res = p.communicate(cmd)
for line in res:
    print line

从python调用prolog谓词

如何解决从python调用prolog谓词

解决方法

相关推荐