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

摘要

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