人工智能 等式归结程序

【文件属性】：

文件名称：人工智能 等式归结程序

文件大小：200KB

文件格式：RAR

更新时间：2011-01-04 06:16:04

等式归结

等式归结：将含有Equal谓词的子句与其他子句进行的一种特殊归结，Equal谓词表示其两个项具有相等关系。

【文件预览】：
等式归结
----Equal.GID(8KB)
----equal.exe(497KB)
----Equal.HLP(6KB)