Parlog

K. L. Clark & Steve Gregory, Imperial College, 1983

An AND-parallel Prolog, with guards and committed choice [=don't care] nondeterminism. Shallow backtracking only. See Strand[1].

Parlog83

In which the ouput mechanism was assignment.

"Parlog: A Parallel Logic Programming Language", K. L. Clark and Steve Gregory, Imperial College, London, May 1983.

Parlog86

In which the output mechanism was unification, as in GHC.

"Parallel Logic Programming in PARLOG, The Language and Its Implementation", Steve Gregory, Addison-Wesley 1987.

MacParlog

Parallel Logic Programming Ltd, Box 49 Twickenham TW2 5PH, UK.

PC-Parlog

Parallel Logic Programming Ltd, Box 49 Twickenham TW2 5PH, UK.