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

【问题标题】：How to create dynamic arithmetic facts in pyDatalog?如何在 pyDatalog 中创建动态算术事实？
【发布时间】：2017-06-16 15:38:25
【问题描述】：

我需要创建一个简单的 Datalog 机器（这意味着我的输入是 2 个文件：1.facts，2.rules。）我目前正在使用 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)

谢谢！

【问题讨论】：

【解决方案1】：

怎么样：

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

【讨论】：