logic-programming - 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')

问题：如果我知道结论'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))