python中的Prolog代码，Pyswip输出为“None”

Question

我安装了pyswip软件包并尝试了以下代码：

from pyswip import Prolog,Query

prolog = Prolog()
prolog.assertz("minTime(4,Y):-Y>=4")

res = prolog.query("minTime(4,5)")
print(res)

但它输出“无”。它应该在Swi Prolog中输出“True”。我想知道如何用python输出“True”

Answer 1

如果你尝试help(prolog)，你会找到答案

res是一个Python生成器对象，它必须转换为Python列表，该列表必须转换为Python bool，即

>>>bool(list(prolog.query("minTime(4,4)")))
True