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

Question

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