eclispe中使用python库 pyswip 进行prolog编程

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编程

​

输出结果为：

​