将pyDatalog用于约束存储

Question

考虑以下规则：

pyDatalog.create_atoms('X')
pyDatalog.create_atoms('Y')

pyDatalog.create_atoms('a')
pyDatalog.create_atoms('b')

b(X,1) <= (X<0)
b(X,Y) <= (X==1) & (Y>0)
a(X,Y) <= b(X,Y) & (X>0)

以及找到满足以下条件的约束的问题: a(X,1)

问题是:你能用pyDatalog提供列表(X==1)吗？或(X>0)、(X==1)

谢谢,

Answer 1

不幸的是，至少在当前版本中不是这样:-)

pyDatalog可以解决离散约束问题，而不是您所描述的一般约束问题。pyDatalog只能返回值，不能像X>0那样返回条件。

注意:您可以将前4条语句合并为一条：

pyDatalog.create_atoms('X, Y, a, b')