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

作     者：昌杰 郑尚志 CHANG Jie;ZHENG Shang-zhi

作者机构：厦门大学信息科学与技术学院福建厦门361005 巢湖学院计算机系安徽巢湖238000 

出 版 物：《巢湖学院学报》 (Journal of Chaohu University)

年 卷 期：2008年第10卷第6期

页      码：30-32页

摘      要：元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。

主 题 词：Godel语言 元程序设计 基本表示 非基本表示 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-2868.2008.06.007

馆 藏 号：203601768...