【摘要】 本文提出一种有序的线性一致化算法(简记OLU),在算法中引入了有序约束项替换的新思想,它能消除MM算法,RG2算法尚存在的不足之处.特别地,如省缺了变量约束有序性检查,OLU算法还适合处理无限树情形.本文着重介绍有序线性一致化算法及其有关的偏序结构与性质.本算法已经在GKD-PROLOG/Vax780系统中初步实现.实例表明,算法是简单的高效的.更多还原

【Abstract】 In this paper, a simple and efficient Ordering Linear Unification algorithm (OLU) is presented and its partial order structure and implementation method are discussed. By introducing substitution of the binding terms the algorithm overcame some drawbacks of other algorithms such as MM, RG1 and RG2. It can also be applied to infinite tree structure if the check of the binding order is omitted.更多还原