Python 如何在pyDatalog中创建算术谓词？_Python_Python 2.7_Logic Programming_Datalog_Pydatalog

Python 如何在pyDatalog中创建算术谓词？

python python-2.7

Python 如何在pyDatalog中创建算术谓词？,python,python-2.7,logic-programming,datalog,pydatalog,Python,Python 2.7,Logic Programming,Datalog,Pydatalog,如何将这种算术谓词转换为合法的pyDatalog谓词地址x，Y，Z← X+Y=Z 例如：？地址5，7，Z 答案应该是：add5，7，12 谢谢谢谢你的评论。但当我运行add5，Y，15时，它将返回none。它应该返回10。实际上，pyDatalog没有约束/方程求解器。您可以尝试使用3个子句，只需添加：addX，Y，Z add(X, Y, Z) <= (Z == X + Y)

如何将这种算术谓词转换为合法的pyDatalog谓词

地址x，Y，Z← X+Y=Z

例如：

？地址5，7，Z

答案应该是：add5，7，12

谢谢

谢谢你的评论。但当我运行add5，Y，15时，它将返回none。它应该返回10。实际上，pyDatalog没有约束/方程求解器。您可以尝试使用3个子句，只需添加：addX，Y，Z

add(X, Y, Z) <= (Z == X + Y)