Python 一阶逻辑引擎

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

配方303057:Pythologic——Python中的Prolog语法

：

PyLog是一阶逻辑库 包括Python中的PROLOG引擎

---

不要使用一阶逻辑（FOL）进行查询，除非您必须这样做：一阶逻辑是不可判定的，而只是半可判定的，因此查询通常不可避免地不会终止

本质上是一阶逻辑的一个可判定片段，以一种有利于讨论实体类及其相互关系的方式重新表述。Python中有许多描述逻辑的引擎，例如，基于OWL-DL的引擎

---

如果你真的确定你需要FOL的浩瀚，那么值得一看。我没有使用过它（老实说，我对Python不太感兴趣），但这是一种让编程语言可以使用逻辑检查的好方法。

感谢PyLog和Pythologic的建议。然而，我对这些已经很熟悉了。请允许我澄清。我在找非玩具引擎。可扩展的、广泛使用的、易于与数据库交互的东西。它不必在Python中实现，只能从Python中访问，似乎Seth和Flip都没有在积极开发中。Seth使用Pellet，它似乎仍处于活动状态，但我发现关于OWL-DL推理机实际使用的文档很少。kanren似乎成熟且稳定：