Parlog
Clark & Gregory, Imperial College 1983. An AND-parallel Prolog, with guards and
committed choice nondeterminism (don't care nondeterminism). Shallow
backtracking only.
Implementations: MacParlog and PC-Parlog from Parallel Logic Programming Ltd.,
Box 49 Twickenham TW2 5PH, UK.
See also SPM.
ftp://ftp.inria.fr/lang/Parlog.tar.Z. E-mail:
<parlog@doc.ic.ac.uk>.
["Parlog: A Parallel Logic Programming Language", K.L. Clark and S. Gregory,
Imperial College, London, May 1983]. ("Parlog83", in which the ouput mechanism
was assignment).
["Parallel Logic Programming in PARLOG, The Language and Its Implementation", S.
Gregory, A-W 1987]. ("Parlog86", in which the output mechanism was unification,
as in GHC). (See Strand).
Nearby terms:
Parkinson's Law of Data « Park-Miller « Parlance «
Parlog
» Parlog++ » parm » PARMACS
|