pyDatalog: python的逻辑编程引擎(用于推理、查询等)
一、序言在探索"知识推理"的时候找到了pyDatalog这个工具。它借鉴了Datalog这种声明式语言,可以很方便自然地表达一些逻辑命题和数学公式,并且它是在我现在最爱的python上实现的。尝试以后,其简洁优雅的形式一下子把我吸引住了。来看一个官网上用它实现阶乘的例子:from pyDatalog import pyDatalogpyDatalog.create_terms('fac...
转载
2018-11-03 21:54:46 ·
4337 阅读 ·
1 评论