BinProlog经验：延续传递Prolog和一流逻辑引擎的架构和实现选择
摘要：BinProlog系统的编译技术、运行时系统及其扩展的描述，支持一流的逻辑引擎，同时提供了其发展的简要历史，一些新实现的细节以及涉及其设计的最重要的架构选择的概述。我们重点介绍了BinProlog与传统WAM实现的差异，解释了BinProlog编译技术的关键细节，该技术用简化的继续传递运行时系统（"BinWAM"）取代了WAM，基于将完整的Prolog映射到二进制逻辑程序。接下来描述了一种使用“标签和数据”表示的术语压缩技术。后来的衍生品，基于Java的Jinni Prolog编译器和最近开发的Lean Prolog系统通过使用互动界面将BinProlog架构进行了改进，并通过逻辑引擎实现了通用化。重点介绍了它们的应用，特别是在源代码级别上能够表达各种各样的Prolog内建和扩展，涵盖了这些新的发展。
作者：Paul Tarau
论文ID：1102.1178
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-02-08