从python调用prolog谓词
|
我有一些
.pl
test.pl
rD( [], Ans, Ans ).
rD( [X|Xs], Ans, Acc ) :-
member( X, Acc ),
rD( Xs, Ans, Acc ), !.
rD( [X|Xs], Ans, Acc ) :-
\\+member( X, Acc ),
append( Acc, [X], AccNew ),
rD( Xs, Ans, AccNew ), !.
?- rD( [1,2,3,4,5,4], X ).
X = [1, 2, 3, 4, 5].
rD
result
[1, 2, 3, 4, 5]
没有找到相关结果
已邀请:
4 个回复
俯乡骚钵皆
应该可以完成。骇毖煽洁铂
模块，可以将来自外部命令的stdout通过管道传递到Python进程并在其中作为流读取。 这减少了为SWI-Prolog选择命令行参数的问题。可以通过类Unix系统上的shell脚本或Windows上的\“ DOS \” batch / cmd文件间接调用SWI-Prolog，但是我将省略对这种间接调用的进一步说明。 特别参见第二节中的讨论。 WI8ѭ和ѭ9above选项的SWI-Prolog手册（上面链接）2.4.2。例如：可能会做你想要的。选项禁止显示标题/欢迎消息，您可能想简化对Python接收到的输出的解析。墩瓣茅械
，它将为您提供Python3版本。 要查询存储为Knowledge_base.pl的现有知识库，请执行以下操作：from pyswip import Prolog prolog = Prolog() prolog.consult(\"knowledge_base.pl\") for res in prolog.query(\"rD( [1,2,3,4,5,4], X ).\"): print(res) # output: # {\'X\': [1, 2, 3, 4, 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