PROLOG逻辑程序设计的结构优化.PDFVIP

第2o卷 第6期 重庆建筑大学学报 vo1．2O N0．6 1998年l2月 如‘叮Ia1 of CMagOag．1lamhu Uni代 Bi D。c．1998 PROLOG逻辑程序设计的结构优化 段 鹰 段文泽 丁尸引f 一 重庆 一姗 重废毽筑大l学机电学惋 4ooo4s~ 摘 要 取减少存储空问消耗为主要目标，计论逻辑程序设计的蛄构优化。分析了程序基本蛄 祷重葬优化方法。提出了一神强制失政一囊据旁路蛄l袖I作曲己有甓化方法的补克。由此埭誊出 一 神全局结构优化模式。．1}I于机器翻译试验工作 敦果显著。 ： 程序姑构包化．存储 是键词 兰苎型睦 ， 中囤法分类号 TP311 任何程序设计的优化目标，主要在于追求时间和空间的最小消耗。在这方面，以PRO- LOG为代表的逻辑程序l暧计语言具有若干特色。它以一阶谓词逻辑为基石，属描述性语言， 使其在逻辑推理方面明显优于其它所有语言。在程序设计上，1只需对问题进行描述，而不必 给出求解问题的每一步骤，也优于其它过程式语言。由此．它成为高新技术，特别是人工智 能的一个重要支柱。但与此同时。其自身仍面临若干困难。状态空间有哪些信誉好的足球投注网站是其特长，但“组合 爆炸”时也要消耗大量的时间和空间，对此，一些作者已进行过研究【lm J。此外，在数据的传 递与存储方面。PROLDG与c语言相比，更好地实现了封装牲 它不设全局变量，而把每个谓 词(相当于C中的函数)作成一个封闭体，除了可通过谓饲名后括号中的“约束一非约束变 量 (C中的形参一实参)舶渠道与外界进行双向数据传递外，别无它路。这一方面减弱了模 块之问的耦合性，增强了程序的可移植性，还减小了出错概率。另一方面却也少了一个重要 的数据传递通道 问题在于，要通过“约束一非约束”变量渠道传递数据，谓词舶执行必需成 功，这样．那些不需传递的变量占用的空间就不能释放。这就是空间消耗与数据传递的矛 盾。在程序规模增大时，这一问题尤为突出。这也许是PROIDC,不能得辩普及的一个重要原 因。对程序的效率闻题，文献[31从使用截断、数据结构和求解方法选择、灵栝使用规则等方 面作了概述。如何解决上述矛盾，，如何从节约空间韵角度得到程序的优化结构，有待深入， 这正是本文研究的重点。本文的形成以机器翻译工作为背景，面向PDG咖 Ic 3．2 (BOLLAAI~公司l9∞年版本)“ 鞋E行讨论。 堡量堡塾 苎 麓卒。其摹奉内 为几十嚣警：-栈(3h唪)、堆与全局拽fHe叩and 收蔫日期：l9粥一∞一3l E 量 ●．，．Br／1年生，并走生 重庆建筑大学学报 第龃卷 Global Stack)跟踪(Tmil)、生成代码(Ge∞ dCede)、和程序原正文(PriamSomeeText)o PDC I~OIJ3G在O／C／Memo／菜单项中提供了设置栈、代码、跟踪空问大小的可能，在分配 了这些空问和原程序代码后，余下的内存就作为堆和全局栈。在程序调试中．又提供谓词 B ∞ (s，H，T)，可返回Stack，Il p和 Bd三种存储区的大小 。 ‘ 在调试工作中。我们总结各类变量的存储方式如下： 。 栈用于存放以下数据：(1)调用子目标(谓词)时用于传递参数，(2)子目标调用时的现 ． 场保护和返回地址。一般说来，在子目标调用开始时分配神态存储空间 结束时释放。 但是 遇到非确定性时，却要保留回溯点，以备在执行后面其它子目标失败时．便于回溯．直弱全部 回溯点有哪些信誉好的足球投注网站完毕，或是遏弱截断．才释放存储空间。 。。全局栈用于对申、项、表这些数据的临时冉莉存储。在子目标执行成功后，占用的存储 单元并不释放。只在子目标失败时．才能释放。 堆存放较为永久的对象。如数据库事实、文件缓冲区、窗口壤冲区等。无论子目标执行 成功与否，其所占用的空间都不释放。只有在内部数