元级程序设计的方向.PDF

维普资讯 元级程序设计的方向 J．W ． Lloyd 摘要 本文讨论鼍量璺必 坚兰生墨 当前的一些研究成果 首先 提 出用Pro／og进 行元 级程序设计的各种 困难 ，说 明产生这 些 问题 的原 因在 于： Prolog在元级层次上表示 目标程序 的不充分性 ，并指 出解决这些 问题 曲方法 ， 提 出元级程序设计 中的一系列研 究问题。本文最后就建立改进的逻辑程序设计 语 言的必要 性提 出7几 ．最意见 一 、 前 言 程序设计语言的质量主要依赖于两 个因素：表达能力和语义 具有高度表达能力的 程序设计语言使程序 员在高度方便的层次上能顺利并快速地编写程序，而具有简单漂亮 的数学语义的程序设计语言使程序员更容易地验证和调试程序，从而保证程序变换 、优 化等的正确性 。 Prolog的成功无疑是 由于其高度的表达能力。在各种应用领域中，程序员用Prolog 编写程序 比用其它语言更容易更快 ，这些有利条件充分证 明了Prolog的重要性和使用的 广眨性。但是 ，Prolog的语义却谈不上令人满意 (这里Prolog指的是现存Prolo8系统中 的实用程序设计语言，而不是 [L1087】中研究的纯理想化子集)o涉及语义的问题很 多而 且都是著名的：缺乏OCCUr检查，不安垒的否定 ，随便使用cut、assert和retract等。Pr— olog的这些所谓 “非纯的”方面使许多实用的Prolog程序根本没有说明语义并 具有不必 要复杂的过程语义，这意味着许多Prolog程序的验证、 (系统的)构造、变换 、优化和 调试实际上是不可能的。 解决这些问题的方法就是要更认真地抓住逻辑程序设计的中心论点 ，卸 t · 一 个程序是一个 (一阶)理论 ， · 计算是由理论产生的演绎。 把程序直接解释为理论非常重要 ，这样程序就有简单的说明语义并且可以 更 容 易 的验 证、变换 、调试等。上述每一种非纯的方面都 带来许多困难，因为它给程序理解为理论 设立了障碍。一个不能用某种简单的方式理解为理论的Prolog程序只有过程语 义，这使 得我们在理解这个程序时并没有处在 比它用传统过程型语言编写时更好的位置 。 现在我们把注意力集中在元级程序设计上，看看要进行元级程序设计，逻辑程序设 计语言需要什么特性 ，Prolog_任什么程度 上能满足这些特性 。虽然对什么是元级程序设 70 维普资讯 计还没有明确的看法，但其基本特性是指元级程序是一个将另一程序 (目标程序)作为 数据的程序。无论如何 ，元级程序设计技术为逻辑程序设计的许多应用打下了基础。例 如，知识库系统由许多知识库 (目标程序 )组成，这些知识库由解释程序 和 同化 程序 (元级程序 )操纵。其它各种重要的软件，如调试器、编译器和程序变换器等都是元级 程序。 现在 ，有大量关于逻辑程序设计中元级程序设计各个方面的文献。如，涉殛元级程 序设计在知识库系统中的应用 的文 章有 [Bow85]、[Bw85】、[CFL*88】、[LS87a]、 [MKK 83]、[OH88】、[SB86]和 [TF86]，Sterling和Shapiro的教科书[SS86b]包含 与 元级程序设计有关的程序设计技术的讨论，只有很少几篇文章讨论了元级程序设计的理 论基础，其中包括 [BK82]、[Esh86]、[HL88]、[Sub88]，元级程序设计 的 其 它方面 在 [Neu86]、[SS86a]、[SRP88]和 [Ven84]中有所讨论，关于元级程序 设 计 的一批最 新的文章包含在 [L1088】中。 尽管元级程序设计技术被广泛成功地使用，但是，元级程序设计基础和大多数现存 的Prolog系统提供的元级程序设计工具一点也不令人满意。例如，在理 论方面，一种重 要的表示 (即，命名)及其语义 问题就通常被掩盖了 而且，现存大多数Prolog系统没 有清楚地区分 目标级和元级，没有提供在元级表示 目标