如何在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) 
""") 

？