使用 pyDatalog 进行约束存储

【问题标题】：Using pyDatalog for constraint stores使用 pyDatalog 进行约束存储
【发布时间】：2013-05-02 15:49:51
【问题描述】：

考虑以下规则：

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)]？

谢谢，

【问题讨论】：

标签： logic-programming pydatalog

【解决方案1】：

不幸的是，至少在当前版本中没有：-)

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

注意：您可以将前 4 个语句组合成一个语句：

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

【讨论】：