PROLOG模块机制—元级扩充的编译实现技术  

A COMPILING TECHNIQUE BASED META-LEVEL EXTENSION FOR PROLOGMODULE SYSYTM

作　　者：金芝[1] 邓铁清[1] 胡守仁[1] 

机构地区：[1]长沙工学院

出　　处：《计算机工程》1993年第1期1-5,66,共6页Computer Engineering

摘　　要：模块化是构造大型系统软件必不可少的手段之一.目前,PROLOG已成为一种通用的人工智能语言.大多数PROLOG的平坦化结构妨碍了它对大型软件的支持.本文在详细分析PROLOG模块系统的基本语法其信息隐藏和数据抽象等特性的基础上,进而实现了一个基于预编译的PROLOG模块系统.它将模块PROLOG程序编译为一般的PROLOG程序,这个预编译器可由PROLOG语言编写.借助于这个预编译器任何已有的PROLOG系统都可以达到支持模块化程序设计的需要。Modularity is essential for the development of large-scale system software. At Present, PROLOG has become a general AI Language. But it is not easy to support large-scale softwares in flat PROLOG programs. In this paper, the syntax and features, such as information hiding and data abstraction, of PROLOG modular system are analysed. A precompiling-based meta-level PROLOG modular sysyem is implemented to translate the modular PROLOG program into an ordinarg one with the same execution behavior, thus, the extant PROLOG system can quickly support the modularity programming.

关 键 词：模块化 元级扩充 人工智能语言 

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