Prolog与Gdel语言元程序设计的对比研究  

RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG

作　　者：昌杰[1] 郑尚志[2] 

机构地区：[1]厦门大学信息科学与技术学院,福建厦门361005 [2]巢湖学院计算机系,安徽巢湖238000

出　　处：《巢湖学院学报》2008年第6期30-32,共3页Journal of Chaohu University

摘　　要：元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。Meta-programming is an important characteristic in many logic program languages.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.The comparison demonstrates Godel language is more declarative and efficient.

关 键 词：GODEL语言 元程序设计 基本表示 非基本表示 

分 类 号：TP302.2[自动化与计算机技术—计算机系统结构]