论文部分内容阅读
本文基于PROLOG 系统中A,B 栈计算模型,讨论了一致化问题,给出了关于替换和环境等数据结构的动态描述,并且给出了求一个目标的基例(ground instance)和一致化两个算法。一致化算法根据PROLOG 系统求解的要求得到基本的mgu(ground mostgeneral unifier)。在算法中应用了环境与结构共享技术,提高了效率。本文还给出了应用上述方法的计算实例。