GKD—PROLOG/SUN模块系统的设计与实现  

作　　者：严静东[1] 金芝[1] 吴泉源[1] 

机构地区：[1]国防科技大学计算机系,410073

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

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]