标签： python python-2.7 logic-programming datalog pydatalog
如何将这种算术谓词转换为合法的pyDatalog谓词？
添加（X，Y，Z）←X + Y = Z
例如：
？添加（5,7，Z）。
答案应该是：添加（5,7,12）。
谢谢！
答案 0 :(得分：1)
add(X, Y, Z) <= (Z == X + Y)