PROLOG模块机制—元级扩充的编译实现技术
A COMPILING TECHNIQUE BASED META-LEVEL EXTENSION FOR PROLOGMODULE SYSYTM作者机构:长沙工学院
出 版 物:《计算机工程》 (Computer Engineering)
年 卷 期:1993年第19卷第1期
页 面:1-5,66页
核心收录:
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:模块化是构造大型系统软件必不可少的手段之一.目前,PROLOG已成为一种通用的人工智能语言.大多数PROLOG的平坦化结构妨碍了它对大型软件的支持.本文在详细分析PROLOG模块系统的基本语法其信息隐藏和数据抽象等特性的基础上,进而实现了一个基于预编译的PROLOG模块系统.它将模块PROLOG程序编译为一般的PROLOG程序,这个预编译器可由PROLOG语言编写.借助于这个预编译器任何已有的PROLOG系统都可以达到支持模块化程序设计的需要。