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 ; 似乎正在积极维护 演绎数据库引擎 目前支