Parallelism in Logic Programming.
Kazunori Ueda · 1989
This paper discusses two aspects of parallelism in logic programming: parallelism as a formalism (often referred to as concurrency) and the implications of parallelism with regard to performance. Two alternatives for a parallel logic programming system are considered in detail. One allows programmers to describe processes and communications using concurrent logic languages, and the other attempts to exploit the parallelism of ordinary logic programs.