厦门大学学报(自然科学版)
廈門大學學報(自然科學版)
하문대학학보(자연과학판)
JOURNAL OF XIAMEN UNIVERSITY (NATURAL SCIENCE)
2005年
z1期
247-250
,共4页
G(O)del语言%Prolog语言%元程序设计%抽象数据类型%部分求值
G(O)del語言%Prolog語言%元程序設計%抽象數據類型%部分求值
G(O)del어언%Prolog어언%원정서설계%추상수거류형%부분구치
元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与G(O)del语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与G(O)del语言元解释程序的构造方法以及部分求值功能实现.
元程序設計是許多邏輯程序語言具有的重要特點,它可以有效地實現程序自解釋自調節功能,研究邏輯語言的元程序設計方法對于自動優化程序設計和實現智能計算都具有重要的意義.Prolog語言與G(O)del語言分彆支持使用非基本錶示與使用基本錶示的元程序設計功能.本文通過對這兩種語言中的元程序設計方法進行研究,討論瞭基本錶示與非基本錶示的主要特點和實現機製,具體分析瞭Prolog語言與G(O)del語言元解釋程序的構造方法以及部分求值功能實現.
원정서설계시허다라집정서어언구유적중요특점,타가이유효지실현정서자해석자조절공능,연구라집어언적원정서설계방법대우자동우화정서설계화실현지능계산도구유중요적의의.Prolog어언여G(O)del어언분별지지사용비기본표시여사용기본표시적원정서설계공능.본문통과대저량충어언중적원정서설계방법진행연구,토론료기본표시여비기본표시적주요특점화실현궤제,구체분석료Prolog어언여G(O)del어언원해석정서적구조방법이급부분구치공능실현.