伊诺，E。;科尔贝尔，D。 Sequentielle und parallel Architekturansätze für logische Programmiersprachen公司。（逻辑编程语言体系结构的顺序和并行概念）。 （德语） Zbl 0655.68013号 福施，Informatik。恩特维克。3，第4期，182-194（1988）。 概要：像Prolog这样的逻辑语言已经变得更加重要，因为它们已经被用于编程专家系统。对于实际应用，这些系统需要增强性能。Warren的抽象机器已经证明了其作为Prolog顺序架构基础的适用性。逻辑语言中固有的并行性——AND、OR、流和统一并行性——建议使用并行概念来进一步提高性能。当今该领域研究的两大主流就其产生的解决方案而言是不同的（一种解决方案承诺选择语言；可能所有解决方案都是并行Prolog）。第一个概念使用OR并行，基于顺序Prolog。另一方面，承诺选择语言通过引入新的语言结构来利用AND并行性。 MSC公司： 68N99型 软件理论 68N25号 操作系统理论 2005年第68季度 计算模型（图灵机等）（MSC2010） 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：计算机体系结构;逻辑程序设计;并行计算机;数据流体系结构;中间语言;Prolog公司;平行度;承诺选择语言 PDF格式BibTeX公司 XML格式