一阶逻辑引擎 [英] First Order Logic Engine

问题描述

我想创建一个可以使用一阶逻辑进行简单推理的应用程序。有没有人能推荐一个"引擎"，它可以接受任意数量的FOL表达式，并允许查询这些表达式(最好是通过Python访问)？

推荐答案

PyLog：

PyLog是一阶逻辑库 在Python中包含Prolog引擎。

这篇关于一阶逻辑引擎的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！