Pydatalog无法打印规则的右侧

Question

在我最后一篇没有回答的帖子之后，因为我被这个问题困住了(顺便问一句，我不知道Pydatalog先生，Carbonnelle先生在这个网站上是否还在回答问题？)所以如果有人能帮忙那就太好了，我会尽量说得更清楚：

请参阅下面代码的一部分：

from pyDatalog import pyDatalog
pyDatalog.create_terms('condition, predicate, yes, X')

+condition('a')
+condition('b')
+condition('c')
+condition('d')

predicate('p1')<=yes('a') & yes('b')
predicate('p2')<= yes('c') & yes('d')

problem：如果我知道结论'p1'，我如何得到/打印'a‘和'b’？我不知道怎么做？(打印(‘p1’)根本不工作！！)谢谢你的帮助

詹吉尔

Answer 1

您的数据集与您的预测之间没有任何联系(因为我在您的条件下没有看到任何逻辑-它们只是真正的语句/字符串)。我稍微修改了您的代码，以显示工作示例的逻辑(希望这样可以回答您的问题或给您一个解决方案的提示)：

from pyDatalog import pyDatalog
pyDatalog.create_terms('condition, predicate, yes, X')

+condition('a', 1)
+condition('a', 2)
+condition('c', 3)
+condition('d', 4)

print(condition(X,1))
print(condition('a',X))