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

Question

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

添加(X, Y, Z) ← X + Y = Z

例如：

?add(5, 7, Z)。

答案应该是：add(5, 7, 12)。

谢谢！

score 1 · Accepted Answer

1

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

于 2017-07-28T14:24:22.883 回答

1 回答 1