Как создать арифметические предикаты в pyDatalog?

Question

Как мне перевести этот вид арифметического предиката в легальный предикат pyDatalog?

добавить (X, Y, Z) ← X + Y = Z

например:

? добавить (5, 7, Z).

ответ должен быть: добавить (5, 7, 12).

Спасибо!

Answer 1

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