周能发 B-Prolog的语言特性和体系结构。 （英语） Zbl 1244.68024号 理论与实践。日志。程序。 12，编号1-2，189-218（2012）. 概述：B-Prolog是标准Prolog语言的高性能实现，具有多个扩展，包括匹配子句、事件处理的操作规则、有限域约束求解、数组和哈希表、声明性循环构造和表。B-Prolog系统基于面向树的抽象机（TOAM）架构，该架构与Warren抽象机（WAM）的不同之处主要在于：（1）参数在堆栈中以老式方式传递，（2）每个谓词调用只使用一个帧，以及（3）提供用于编码匹配树的指令。最新的体系结构称为TOAM Jr.，它与WAM的区别更大，因为它不为参数或临时变量使用寄存器，并提供可变大小的指令来编码谓词调用。本文概述了TOAM Jr.体系结构的语言特性和详细描述，包括对操作规则和表的体系结构支持。 引用于12文件 MSC公司： 68N17号 逻辑编程 68甲15 编程语言理论 关键词：序言；逻辑程序设计系统 软件：B-Prolog公司 PDF格式BibTeX公司 XML格式引用 \textit{N.-F.Zhou}，理论与实践。日志。程序。12、编号1--2、189-218（2012；Zbl 1244.68024） 全文： 内政部 参考文献： [1] 内政部：10.1145/291889.291897·Zbl 01935535号 ·数字对象标识代码：10.1145/291889.291897 [2] 周，《函数与逻辑编程杂志》1第1页-（2001） [3] Zhou，逻辑编程理论与实践（TPLP），第8页，第81页–（2008）·兹比尔1128.68018 ·doi:10.1017/S147106840700316X [4] Demoen，《国际计算逻辑会议论文集》，第1240页–（2000年） [5] 内政部：10.1016/0004-3702（86）90083-4·doi:10.1016/0004-3702（86）90083-4 [6] 内政部：10.1145/227595.2275957·Zbl 0882.68050号 ·数字对象标识代码：10.1145/227595.227597 [7] 卡尔森，《逻辑程序设计国际会议论文集》（ICLP）第40页–（1987） [8] DOI:10.1017/S1471068405002590·Zbl 1122.68035号 ·doi:10.1017/S1471068405002590 [9] 数字对象标识码：10.1002/spe.539·Zbl 02039233号 ·doi:10.1002/第539页 [10] Maier，《用逻辑进行计算：用Prolog进行逻辑编程》（1988）·Zbl 0637.68005号 [11] 内政部：10.1145/236114.236120·doi:10.1145/236114.236120 [12] 内政部：10.1016/0743-1066（89）90021-6·doi:10.1016/0743-1066（89）90021-6 [13] 内政部：10.1016/0743-1066（94）90031-0·Zbl 0817.68054号 ·doi:10.1016/0743-1066（94）90031-0 [14] van Hentenryck，逻辑编程中的约束满足（1989） [15] DOI:10.1002/spe.824·Zbl 05278557号 ·doi:10.1002/spe.824 [16] 内政部：10.1016/0004-3702（82）90020-0·doi:10.1016/0004-3702（82）90020-0 [17] DOI:10.1016/S0743-1066（98）10013-4·Zbl 0911.68033号 ·doi:10.1016/S0743-1066（98）10013-4 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。