知识库管理系统GKBMS预编译器的研究与实现

知识库管理系统GKBMS是在Micro VAXⅡ上研制成功的一个通用知识信息处理的集成化环境系统。本文介绍其中预编译器的研究与实现。该预编译器由二级优化编译组成,分别采用部分计算技术和静态优化技术,能够支持元、目标级混合程序[8][11]及PROLOG—DBMS耦合程序[10]的优化。应用表明,该预编译器可显著提高知识程序的执行效率。