这是我尝试的程序:
from pyswip import Prolog
prolog = Prolog()
prolog.assertz("father(michael,john)")
prolog.assertz("father(michael,gina)")
print list(prolog.query("father(michael,X)"))
我得到的输出:
处理以退出代码139结束(由信号11中断:SIGSEGV)
预期输出:
X =吉娜
答案 0 :(得分:0)
您应该只使用
print(list(prolog.query("father(michael,X)")))