B-Prolog 的语言特性与体系结构
编程语言
2011-03-07 v1
摘要
B-Prolog 是标准 Prolog 语言的一种高性能实现，包含多项扩展，如匹配子句、用于事件处理的动作规则、有限域约束求解、数组与哈希表、声明式循环构造以及表列。B-Prolog 系统基于 TOAM 体系结构，该结构与 WAM 的主要区别在于：(1) 参数以传统方式通过栈传递，(2) 每个谓词调用仅使用一个帧，以及 (3) 提供了用于编码匹配树的指令。最新的体系结构称为 TOAM Jr.，它进一步偏离了 WAM，不使用寄存器来存储参数或临时变量，并提供了用于编码谓词调用的可变长指令。本文概述了该语言的特性，并详细描述了 TOAM Jr. 体系结构，包括对动作规则和表列的体系结构支持。
引用
@article{arxiv.1103.0812,
title = {The Language Features and Architecture of B-Prolog},
author = {Neng-Fa Zhou},
journal= {arXiv preprint arXiv:1103.0812},
year = {2011}
}
备注
30 pages