如何在pyDatalog中创建动态算术事实？

Question

我需要创建一个简单的Datalog机器（这意味着我的输入是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)
""")