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

Question

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

из учебника pyDatalog я нашел этот пример для загрузки фактов:

load("""
ancestor(X,Y) <= parent(X,Y)
ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y)
""")  

в этом случае мне просто нужно разобрать строки из файла.

Как я могу динамически загрузить арифметический термин? (например: SUM(X,Y,Z)-> Z = X + Y)

Спасибо!

Answer 1

Как насчет:

load("""
sum(X,Y) <= (Z == X + Y)
""") 

?