pylo2:围绕几个Prolog引擎的Python包装器。 希望使象征性AI成为标准AI工具包的一部分 源码

pylo是几个逻辑编程引擎的Python前端。 这包括几个Prolog引擎,还包括不同形式的逻辑编程,例如关系编程(kanren)和Datalog。 它使您只需编写一次程序,然后通过切换后端即可使用不同的引擎执行该程序。 支持的操作系统:该库已在Linux(Ubuntu)和OSX上进行了测试。 支持的引擎 Prolog引擎 目前支持: (到目前为止仅可在OSX上运行; GNU PROLOG的外部功能接口在Linux上无法正确编译) 正在开发中: 及其 及其 (带有 ) 将来可能会受支持: 和 和 Bousi Prolog 数据记录引擎 不含函子/结构的Prolog子集 目前支持: muZ(Z3的数据日志引擎) 考虑: pyDatalog 关系编程引擎 无副作用的序言(剪切等) 目前支持: miniKanren ; 似乎正在积极维护 演绎数据库引擎 目前支