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

作     者：王啸澜 赵致琢 李慧琪 WANG Xiao-lan;ZHAO Zhi-Zhuo;LI Hui-qi

作者机构：厦门大学软件学院 厦门大学计算机科学系福建厦门361005 

出 版 物：《厦门大学学报（自然科学版）》 (Journal of Xiamen University：Natural Science)

年 卷 期：2005年第44卷第B6期

页      码：247-250页

摘      要：元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.

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

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

核心收录：

D　O　I：10.3321/j.issn:0438-0479.2005.z1.059

馆 藏 号：203896180...