使用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＆gt; 0等标准。

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

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