AI_Horn

基于前向连接的子句归结方法，结合迭代加深的子句长度受限搜索，构建简易推理系统。

运行Honor.exe后自动读取test.txt中的信息，输出结果将被保存到result.txt中。