Parlog

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).
References in periodicals archive ?
Raluca Maria Parlog, Dan Cristian Vodnar, Francisc Vasile Dulf, Loredana Leopold, Carmen Socaciu, "HPLC- PDA and UV-VIS Spectrometry Analysis used to Fingerprint Sea Buckthorn (Hippophae rhamnoides L.
The ESSE Executive and the Board wish to give their most heartfelt thanks to the former editors of The European English Messenger, and most especially to the current editor, Professor Hortensia Parlog, who has taken care of this last printed issue.
INTP99] Ion IVAN, Gheorghe NOSCA, Sebastian TCACIUC, Otilia PARLOG, Razvan CACIULA--Calitatea datelor, Editura INFOREC, Bucuresti, 1999,, ISBN 973-98508-6-3, pg.
The most important are: Osredak, Source Lomovi, fields [ETH]inovic, Perinka, Source Vukotic, Empire Rajovic, Parlog, Jelar, Butrinjak, BanjiUor, CoUak.
We summarize the distributed unification algorithms used in Flat GHC, Parlog, Pandora, DRL, and KLIC.
Examples of languages in this class are PARLOG [Gregory 1987], Delta-Prolog [Pereira and Nasr 1984], Concurrent Prolog [Shapiro 1986], GHC [Ueda 1985], and Strand [Foster and Taylor 1990].
0]pal Gupta in [12], there are many proposals for extending a Logic Programming language with explicit constructs for concurrency, as Delta Prolog, CS-Prolog, Shared prolog, Parlog, GHC, and Concurrent Prolog.
The two main precursors of this language were Parlog and Concurrent Prolog.
The Coimbra team have supported the successive editors, John Stotesbury (volumes XIII-XVIII), Marina Dossena (XVIX-XXI) and Aba Parlog, continuing to ensure that a distinguished-looking publication gets from an editor, be it in Britain, Finland, Italy or Romania, to a printer in a village outside of Coimbra and thence to readers across Europe at the cheapest possible cost.
Those grants funded LP-oriented work in such diverse areas as deductive data-bases, legal reasoning, human-computer interaction, intelligent front ends, logic-programming environments, and implementations and applications of the concurrent LP language, Parlog.