论文部分内容阅读
模块化结构是当今智能语言或工具系统商品化和标准化的一个重要部分。我们在GKD-Prolog的基础上,设计并实现了一个模块化Prolog系统。它同时引入了模块和执行环境的概念,并提供了对这些概念的直接支持,使Prolog更适于知识的表示和操作。本文主要研究了Prolog模块系统的概念和理论,描述了系统的组织结构,并结合两种实现模块机制的方法介绍了本文的主要实现技术,最后给出了我们引入的模块操作原语。