Prolog语言与Gödel语言中元程序设计方法的研究 |
| |
作者单位: | 王啸澜(厦门大学软件学院)
赵致琢(厦门大学计算机科学系,福建,厦门,361005)
李慧琪(厦门大学计算机科学系,福建,厦门,361005) |
| |
摘 要: | 元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.
|
关 键 词: | G(O)del语言 Prolog语言 元程序设计 抽象数据类型 部分求值 |
文章编号: | 0438-0479(2005)Sup-0247-04 |
修稿时间: | 2005年1月21日 |
ödel Language and Prolog Lnguage |
| |
Abstract: | |
| |
Keywords: | |
|
|