在探索"知识推理"的时候找到了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)
X
--
康熙
CSDN上目前还没有太多相关资料,所以后面我将翻译官方教程到这边来,我也会加入我个人的一些理解和对原文档的纠错。
pyDatalog官网:https://sites.google.com/site/pydatalog/home
https://github.com/pcarbonn/pyDatalog
python版本:python3.6.2