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

模块化是构造大型系统软件必不可少的手段之一.目前,PROLOG已成为一种通用的人工智能语言.大多数PROLOG的平坦化结构妨碍了它对大型软件的支持.本文在详细分析PROLOG模块系统的基本语法其信息隐藏和数据抽象等特性的基础上,进而实现了一个基于预编译的PROLOG模块系统.它将模块PROLOG程序编译为一般的PROLOG程序,这个预编译器可由PROLOG语言编写.借助于这个预编译器任何已有的PROLOG系统都可以达到支持模块化程序设计的需要。