次のルールを考慮してください。
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)]?
ありがとう、