from pyswip import Prolog
prolog = Prolog()
prolog.assertz("father(michael,john)")
prolog.assertz("father(michael,gina)")
list(prolog.query("father(michael,X)")) == [{'X': 'john'}, {'X': 'gina'}]
for soln in prolog.query("father(X,Y)"):
print(soln["X"], "is the father of", soln["Y"])
首先需要对库pyswip进行安装 pip install pyswip
安装好之后 在eclipse中创建一个python工程
创建一个名为 test1.py的python文件 输入如下代码 测试是否可以使用库pyswip 进行prolog编程
输出结果为：