pyDatalog: python的逻辑编程引擎(用于推理、查询等)【一：序言】

blmoistawinde

发布于 2019-10-30 19:08:49

1.9K0

发布于 2019-10-30 19:08:49

在探索"知识推理"的时候找到了pyDatalog这个工具。它借鉴了Datalog这种声明式语言，可以很方便自然地表达一些逻辑命题和数学公式，并且它是在我现在最爱的python上实现的。尝试以后，其简洁优雅的形式一下子把我吸引住了。来看一个官网上用它实现阶乘的例子：

from pyDatalog import pyDatalog
pyDatalog.create_terms('factorial, N')
factorial[N] = N*factorial[N-1] 
factorial[1] = 1

print(factorial[3]==N)  # prints N=6

（如同数学公式一般的简洁）

还有一个我自己写的一个关于推理的例子：

# 自己写了一个小推理规则
pyDatalog.create_terms('X,Y,Z,father,fatherOf,grandfatherOf')
(grandfatherOf[X] == Z) <= ((fatherOf[X]==Y) & (fatherOf[Y]==Z))
fatherOf["乾隆"] = "雍正"
fatherOf["雍正"] = "康熙"
print(grandfatherOf["乾隆"] == X)