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

摘要

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