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

Research on Mta-programming in GOdel Language and Prolog Lnguage

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.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.