【摘 要】
：
模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模
【机 构】
：
国防科技大学计算机系,国防科技大学计算机系410073,410073,410073
论文部分内容阅读
模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。
其他文献
本文分析了ＦｏｘＤｏｃ产生文档日期出错原因。阐明了防止文档日期出错应注意采取的措施。给出了一种在ＤＯＳ５．０下修改ＦｏｘＤｏｃ产生文档日期错误的一种方法。
[目的]探讨早期胃癌患者淋巴结转移情况及预后，为临床治疗提供参考依据。[方法]回顾性分析1985～2005年早期胃癌患者178例，其中淋巴结转移阴性者143例，阳性者35例。分析其淋巴结转
通过检测患者血清中自身抗体进行癌症诊断，与传统的肿瘤抗原的检测相比具有更高的敏感性和特异性。文章就血清自身抗体及在癌症早期诊断中的应用进行综述。
[目的]探讨妇科腹腔镜手术中转开腹的相关因素。[方法]回顾性分析自2001年1月至2006年12月，妇科腹腔镜手术2219例临床资料。[结果]中转开腹44例，中转率1．98％。中转开腹原因有盆腔
对局部进展期非小细胞肺癌更多的是采用放化结合治疗。该文主要对局部进展期非小细胞肺癌的同步放化疗及序贯放化疗进行综述。
[目的]探讨腹腔镜子宫肌瘤剔除术的临床应用价值。[方法]选择腹腔镜下子宫肌瘤剔除术112例患者作为观察组（腔镜组），取同期具有可比性的开腹子宫肌瘤剔除术患者75例为对照组（开腹
本文介绍在TANGO原理图设计软件包中建立用五笔字型编码调用的汉字库的方法,并在此汉字库的基础上实现中文表格、中文说明的程序流程图的绘制。
古壮文是千余年来壮族民间陈理记事的工具。为深入挖掘壮族文化遗产,抢救壮族古籍、资料,我们设计和实施了古壮文操作系统和编辑排版系统。该系统可以处理古壮字8000余个。古
本文介绍了在微机上AutoCAD V10.0环境下利用其三维绘图功能及命令绘制三维立体图及生成透视效果图的方法与技巧.
本文阐述了天津纺织工学院图书馆自行开发、研制的微机《Ｎｏｖｅｌｌ》网络图书管理系统的设计思想、网络系统结构、技术性能及其它有关问题。