python - 与 PyDatalog 的逻辑析取

Question

我似乎不会写(伪代码):打印所有 X,Y 的 X 和 Y，其中 X==True 且 Y==True 或 Y==False

>>> from pyDatalog import pyDatalog
>>> pyDatalog.create_terms('X,Y')
>>> print((X==True)
X   
----
True
>>> print((X==True) & (Y==True))
X    | Y   
-----|-----
True | True

目标是编写如下内容:

>>> print((X==True) & ((Y==True) or (Y==False)))
X    | Y   
-----|-----
True | True
True | False

相反，这会准确打印出前一个命令返回的内容。

我该怎么做？

Answer 1

我对 pyDatalog 还是有点陌生​​，但我的理解是析取应该分成多行。所以你的代码将会出现(不可否认，有些没有启发性):

from pyDatalog import pyDatalog
pyDatalog.create_terms('X,Y')

print(((X==True) & ((Y==True))))
print(((X==True) & ((Y==False))))