0

我需要创建一个简单的 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）

谢谢！

4

1 回答 1

1

怎么样 ：

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

?

于 2017-07-28T14:23:32.973 回答