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