10.3969/j.issn.1000-5013.2001.01.022
Prolog的语义保持变换
程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复置换集语义.但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义.此外,程序的语义等价性证明也往往是难以理解和阅读的.为此,首先用与计算SLD-树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明.
程序变换、Prolog、语义
22
TP301.2:TP311.1(计算技术、计算机技术)
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
100-104