pyDatalogで動的算術ファクトを作成するにはどうすればよいですか？

Question

私は単純なデータログマシンを作成する必要があります（つまり、私の入力は2つのファイルです：1.事実、2つのルールです）。私は現在pyDatalogパッケージを使用しています。 事実を解析し、用語を動的に作成する必要があります。私は、ファイルから文字列を解析する必要があり、この場合の

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

：私はロード事実のために、この例を見つけたpyDatalogのチュートリアルから

。

算術演算子を動的にロードするにはどうすればよいですか？ （例：SUM（X、Y、Z）→Z = X + Y）

ありがとう！

Answer 1

方法について：

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

？