Prolog语言与Gdel语言中元程序设计方法的研究  

Research on Mta-programming in GOdel Language and Prolog Lnguage

作　　者：王啸澜[1] 赵致琢[2] 李慧琪[2] 

机构地区：[1]厦门大学软件学院 [2]厦门大学计算机科学系,福建厦门361005

出　　处：《厦门大学学报（自然科学版）》2005年第B06期247-250,共4页Journal of Xiamen University：Natural Science

摘　　要：元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.Meta-programming is an important characteristic in many logic program languages,by which self-explanation and self-adaptation are implemented.The research of meta-programming has great value in self-optimization programming and implementation of intellective computation.This paper discussed the main features and their realization of the ground representation and the non-ground representation.The construction method of meta-interpreter and facility of partial evaluation was analyzed.

关 键 词：PROLOG语言 程序设计方法 程序语言 智能计算 自动优化 逻辑语言 调节功能 实现程序 实现机制 主要特点 设计功能 功能实现 部分求值 构造方法 解释程序 元程序 自解 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TP311.11[自动化与计算机技术—计算机科学与技术]