求解带等词的逻辑的目标类型驱动法

详细信息   全文下载|推荐本文 |

• 出版年：1990
• 作者：胡运发
• 单位1：长沙工学院计算机系
• 语种：中文
• 起始页：349
• 总页数：8
• 刊名：计算机学报
• 是否内版：是
• 主办单位：中国计算机学会主办
• 卷：13
• 期：5

摘要

本文提出一种处理带等词的H o r n逻辑的新方法— 目标类型驱动法，它显式地把一致化操作看作目标，并且一致化操作并入归结过程之中.本方法的优点有：（1 )把归结和一致化看作多类型目标的求解过程，减化了控制问题，可望提高系统的实现效率；（2) 相应的推理机的系统结构，可以得到简化；（3)开发逻辑程序与或并行性的任何技术，同时可应用到一致化过程之中；（4)本方法可用来合成函数程序设计和逻辑程序设计；（5 )本方法可用来处理无限数据结构?