%0 Journal Article
%T Prolog的语义保持变换
%A 余金山
%J 华侨大学学报(自然科学版)
%D 2001
%R 10.3969/j.issn.1000-5013.2001.01.022
%X 程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即 Fold/ Unfold变换保持了逻辑程序的最小 Herbrand模型语义和答复置换集语义 .但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义 .此外,程序的语义等价性证明也往往是难以理解和阅读的 .为此,首先用与计算 SL D-树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的 Prolog语义定义,然后给出有关的语义保持变换规则并加以证明
%K 程序变换
%K Prolog
%K 语义
%U http://www.hdxb.hqu.edu.cn/oa/DArticle.aspx?type=view&id=200101022