© 1990 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Parallel Logic Programming
Department of Computing, Imperial College, London, SW7 2BZ, UK
Most research on parallel logic programming divides into (1) or-parallel implementations of Prolog, and (2) and-parallel implementations of committed choice variants of Prolog, the so-called concurrent logic languages. The reason is implementation efficiency: it is extremely complex to implement a combined and/or parallel system. This paper introduces the research on the concurrent and-parallel languages and their extensions, with an emphasis on Parlog. However, all the main concurrent languages are introduced and compared, and set in a historical context of precursor research. Recent work on extensions of the languages is described, particularly the Parlog extensions: Parlog + + and Polka for object-oriented programming, and Pandora for constrained search.
Received August 1990.
* Department of Computing, Imperial College, London, SW7 2BZ