计算机人工智能 归结原理 为此逻辑 子句集

完全不能运行

这个程序挺好的，只不过有个bug。化为合取式那一步中，反向扫描和正向扫描只进行了一遍，如果是(A and B)or C or D的话就有问题了。并且反向扫描也是有问题的，A、B、C有时会扫描错误。（亲测有错，不是输入的问题）

求子句集的程序，归结部分还没有做完吧

程序很好，拿下了

被误导了，我以为这个程序是用来演示归结原理的，下载之后才发现，原来是求子聚集的。 不过，就“求子句集”的功能而言，这绝对是一个好程序，囊括了所有的连接符，还有量词，功能全面，界面简约。