Prolog的语义保持变换

• 作者: 余金山
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 程序变换 Prolog 语义
• 年，卷（期）: 2001,（1）
• 页码范围: 100-104
• 页数: 5页
• 分类号: TP301.2:TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1000-5013.2001.01.022

摘要

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果，即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复置换集语义.但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时，变换后的程序未必能保持原程序的语义.此外，程序的语义等价性证明也往往是难以理解和阅读的.为此，首先用与计算SLD-树叶结点有关的答复置换序列算法的方式，引入一个相对易于理解的Prolog语义定义，然后给出有关的语义保持变换规则并加以证明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余金山	华侨大学信息科学与工程学院	51	294	10.0	14.0