Мне нужно создать простую машину Datalog (что означает, что я ввожу 2 файла: 1. факты, 2. правила). В настоящее время я использую пакет pyDatalog. Мне нужно анализировать факты и динамически создавать термины. из учебника pyDatalog я нашел этот...

как перевести этот арифметический предикат в допустимый предикат pyDatalog? добавить (X, Y, Z) ← X + Y = Z Например: ?Добавить(5, 7, Z). ответ должен быть: добавить (5, 7, 12). Спасибо!