SC-PROLOG逻辑程序编译系统实现方法

本文介绍了设计ＳＣ－ＰＲＯＬＯＧ逻辑程序编译系统时所采用的方法，解决了系统设计方案，中间代码选择，动态编译实现以及优化手段实现等问题。分析和讨论了在无微解释器硬件支持的条件下。