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编程
输出结果为: