Development of a symbol Manipulation-Oriented Highly Parallel Computer

本文开发了一种面向逻辑程序设计语言的高度并行计算机KPR的体系结构，它可以执行用并行逻辑程序设计语言KPR-L编写的程序。KPR是基于一种新的执行模型“并行归约(PR)模型”来控制的，其中逻辑过程被分配到与/或过程图的一个节点上，该过程图的结果归约(折叠/展开)是并行执行的。这种执行模型主要由以下进程实现：(I)用流水线处理方法实现与并行的流进程；(Ii)实现逻辑程序或并行的或处理。KPR是一个异质功能的分布式处理系统，每个进程都在专用处理器上执行：(I)ARP(与约处理器)，用于实现流并行处理策略；(Ii)ORP(或约简处理器)，用于并行执行四组合一操作。我们开发了一个由五个单元组成的KPR原型系统。

In this research, we develop the architecture of a logic programming language-oriented highly parallel computer, called KPR, which can execute a program written in a parallel logic programming language KPR-L.The KPR is controlled on the basis of a new execution model named "Parallel Reduction (PR) model", where a logical process is allocated to a node of an AND/OR process graph and the resultant reduction (folding / unfolding) of this process graph is executed in parallel. This execution model is mainly implemented by the following processes : (i) "Stream-process" for realizing the AND-parallelism by a stream-pipeline processing method ; (ii) "Or-processing for implementing OR-parallelism of a logic program.KPR is a heterogeneous-function distributed-processing system, where each process is executed on the specialized processor : (i) ARP(And Reduction Processor) for implementing a Stream-parallel processing strategy ; (ii) ORP (Or Reduction Processor) for executing four sets of unification operations in parallel. We have developed a prototype system of KPR which is composed of five units.