We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
基于前向连接的子句归结方法，结合迭代加深的子句长度受限搜索，构建简易推理系统。
运行Honor.exe后自动读取test.txt中的信息，输出结果将被保存到result.txt中。