使用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) 

并找到满足约束的问题：一个（X，1）

的问题是：您可以使用pyDatalog来与列表[（X == 1）]？或[（X> 0），（X == 1）]？

感谢，

Answer 1

不幸的是没有，至少在目前的版本:-)

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

注意：你可以在短短一个组合的前4个语句：

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