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