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

回答：

PyLog：

PyLog 是一个包含 Python 中 PROLOG 引擎的一阶逻辑库。