Development of a symbol Manipulation-Oriented Highly Parallel Computer

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.