论文部分内容阅读
该文介绍了GKD-PROLOG/RMX1.0解释系统的设计与实现。并着重介绍了该系统设计中的主要技术问题。该系统包括总控模块，翻译模块、执行控制模块、内部谓词过程库和数据库五个部分组成。在系统设计技术上采用了Hash技术；结构共享和环境共享技术；线性结构表示的变量环境栈、活动记录栈、剩余目标栈，以及向前替换栈；采用了各种算法和适当的尾调用优化技术，充分利用循环结构的高效性，大幅度提高了空间的利用率；采用线性一致化算法，消除了一致化过程中时空的指数效应等等技术手段。该系统绝大部分采用PASCAL语言编写，整个系统具有功能强，速度快，使用方便，用户空间较大等特点。（珑摘）