逻辑程序模块化的研究与实现  

A MODULARIZING TECHNIQUE FOR LOGIC PROGRAMS

作　　者：周立[1] 吴泉源[1] 

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

出　　处：《计算机应用与软件》1996年第3期11-16,共6页Computer Applications and Software

摘　　要：模块化结构是当今智能语言或工具系统商品化和标准化的一个重要部分。我们在GKD-Prolog的基础上,设计并实现了一个模块化Prolog系统。它同时引入了模块和执行环境的概念,并提供了对这些概念的直接支持,使Prolog更适于知识的表示和操作。本文主要研究了Prolog模块系统的概念和理论,描述了系统的组织结构,并结合两种实现模块机制的方法介绍了本文的主要实现技术,最后给出了我们引入的模块操作原语。Nowadays, the modular structure is the important component o intelligent languages. Based on GKD-Prolog, we design and implement a modular Prolog system. Some concepts such as module and executing environment are introduced in and directly supported by the system, which makes Prolog easier to represent and process knowledge. This paper gives the concepts and theories of the modular Prolog system, describes the system organization and architecture, and introduces the main implementing techniques. In the end, it gives the modular operating primitives.

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

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