以下是文本内容的翻译结果：
https://stackoverflow.com/questions/43507770/basic-first-order-logic-inference-fails-for-symmetric-binary-predicate
ResolutionProver似乎没有正确实现解析规则，上面的(不是我自己)描述了一个修复方法。
以下是文本内容的翻译结果：
https://stackoverflow.com/questions/43507770/basic-first-order-logic-inference-fails-for-symmetric-binary-predicate
ResolutionProver似乎没有正确实现解析规则，上面的(不是我自己)描述了一个修复方法。
1条答案
按热度按时间ef1yzkbh1#
谢谢。我们欢迎提交拉取请求。