逻辑程序设计语言的并行性分析

Concurrency Analysis in Logic Programming Language

摘要: 逻辑程序设计语言的并行性是研究和开发并行推理机的重要内容之一。本文介绍了逻辑型语言的一般概念和特点,比较和分析了被 ICOT 确定为五代机核心语言的 Prolog、CP、GHC以及东京大学新提出的语言方案 SPL 的并行性。最后强调了并行基本处理单位的粒度与计算模型、体系结构的关系。

Abstract: Concurrency in logic programming language is an important concept for research and implementation of the parallel inference machine.In this paper,the common concept of the logic programming language is introduced.The concurrency in Prolog,CP,and GHC which are determined to be the FGCS' kernel languages by ICOT,and in SPL which is a language scheme by University of Tokyo,are compared and analyzed. Finally,the relation between the granularity of parallel processing unit and the model of computation and architecture is emphasized.