模块化Prolog的研究与实现  

作　　者：周立[1] 吴泉源[1] 陈火旺[1] 

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

出　　处：《软件》1994年第10期7-12,共6页Software

摘　　要：为使系自行研制的Prolog解释系统GKD-Prolog能够支持大型知识系统的开发,我们设计并实现了一个模块化Prolog系统——GKD—Modlog,同时引入了模块和执行环境的概念。这些概念不仅丰富了Prolog语言本身,而且使Prolog更适于知识的表示和操作。本文描述了该系统中与模块化机制相关的概念,系统的组织与设计,主要实现技术和相关模块操作原语。

关 键 词：PROLOG语言 模块化 程序语言 逻辑程序设计 

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