Concurrency Analysis in Logic Programming Language

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.