Parlog

Parlog

Clark & Gregory, Imperial College 1983. An AND-parallelProlog, with guards and committed choice nondeterminism(don't care nondeterminism). Shallow backtracking only.

Implementations: MacParlog and PC-Parlog from Parallel LogicProgramming Ltd., Box 49 Twickenham TW2 5PH, UK.

See also SPM.

ftp://ftp.inria.fr/lang/Parlog.tar.Z. E-mail:.

["Parlog: A Parallel Logic Programming Language", K.L. Clarkand S. Gregory, Imperial College, London, May 1983].("Parlog83", in which the ouput mechanism was assignment).

["Parallel Logic Programming in PARLOG, The Language and ItsImplementation", S. Gregory, A-W 1987]. ("Parlog86", in whichthe output mechanism was unification, as in GHC). (SeeStrand).