本文介绍了一阶逻辑引擎的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！ 问题描述 我想创建一个可以使用一阶逻辑进行简单推理的应用程序。有没有人能推荐一个"引擎"，它可以接受任意数量的FOL表达式，并允许查询这些表达式(最好是通过Python访问)？推荐答案PyLog： 这篇关于一阶逻辑引擎的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！