从 python 调用 prolog 谓词

Question

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

例如， 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].

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

result
[1, 2, 3, 4, 5]

ps 中获取答案：这只是一个示例，我不这样做想重写我当前的Prolog程序。

Answer 1

并不是说我有直接的经验，但是有一个名为 PySWIP 的项目提供了Python 和 SWI-Prolog 之间的桥梁。 Google 代码项目页面上托管的 wiki 包含 安装说明和一些使用示例。

编辑（2019 年 7 月 5 日）

PySWIP 现在似乎在 Github 上维护，有自己的安装说明。 TLDR：对于 Python 2 和 3，安装 SWI-Prolog 和 pip install pyswip 应该可以完成这项工作。

Answer 2

由于您不想“重写我当前的 Prolog 程序”，我认为自然的方法是从 Python 到 SWI-Prolog 进行外部调用，并传递适当的命令行参数。

看一下这个 SO 讨论，How to call external command in Python，2008 年 9 月开始。 subprocess 模块允许将来自外部命令的标准输出通过管道传送到 Python 进程并在那里作为流读取。

这将问题减少到选择 SWI-Prolog 的命令行参数。可以通过类 Unix 系统上的 shell 脚本或 Windows 上的“DOS”批处理/cmd 文件来间接调用 SWI-Prolog，但我将省略对这种间接调用的进一步提及。

特别参见第 2 节中的讨论。 SWI-Prolog 手册（上面链接）的 2.4.2 中的 -g 和 -t 选项。例如：

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

可能会做你想做的事。 --quiet 选项会抑制横幅/欢迎消息，您可能希望简化对 Python 接收到的输出的解析。

Answer 3

在撰写本文时，PyPI 中的 Python3、PySwip 更新仅适用于旧版 Python，但 github 上的源代码< /a> 与 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,2,3,4,5,4], X )."):
    print(res)

# output:
# {'X': [1, 2, 3, 4, 5]}

Answer 4

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