Fatal编程技术网
  • python/
  • Python 如何在pyDatalog中创建动态算术事实？

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

python python-2.7

Python 如何在pyDatalog中创建动态算术事实？,python,python-2.7,logic-programming,datalog,pydatalog,Python,Python 2.7,Logic Programming,Datalog,Pydatalog,我需要创建一个简单的数据日志机器（这意味着我的输入是2个文件：1.facts，2.rules）。我目前正在使用pyDatalog包。 我需要分析事实并动态创建术语 从pyDatalog的教程中，我找到了加载事实的示例： load(""" ancestor(X,Y) <= parent(X,Y) ancestor(X,Y) <= parent(X,Z) & ancestor(Z,Y) """) load（“”） 祖先（X，Y）那么： load(""" sum(X,Y) &

我需要创建一个简单的数据日志机器（这意味着我的输入是2个文件：1.facts，2.rules）。我目前正在使用pyDatalog包。 我需要分析事实并动态创建术语

从pyDatalog的教程中，我找到了加载事实的示例：

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

load（“”）
祖先（X，Y）那么：


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



load（“”）
总和（X，Y）