作　　者： ; (金芝）;

机构地区： 国防科学技术大学计算机学院计算机科学与技术系

出　　处： 《计算机应用研究》 1992年第3期10-14,共5页

摘　　要： 模块化是大型程序设计的关键问题之一。本文在GKD—PROLOG/VAX解释器的基础上,详细分析了PROLOG模块系统的基本语法,知识的模块封装,信息隐藏等特性,实现了GKD—PROLOG/SUN模块系统,该系统以国际上流行的QUINTUS—PROLOG为蓝本,在解释器一级直接支持模块的动态及静态创建,模块间的交互及模块系统运行环境间的切换,使PROLOG适用于大型软件课题的需要,本系统不仅支持模块化的程序设计风格,也为实现面向对象的逻辑程序设计环境奠定了基础。

关 键 词： 模块系统 程序设计

领　　域： [自动化与计算机技术] [自动化与计算机技术]