You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL