Concurrent Prolog

Concurrent Prolog

A Prolog variant with guarded clauses and committed-choice nondeterminism (don't-care nondeterminism) by Ehud "Udi" Shapiro, Yale <shapiro-ehud@yale.edu>. A subset has been implemented, but not the full language.

See also Mandala.

["Concurrent Prolog: Collected Papers", E. Shapiro, V.1-2, MIT Press 1987].
References in periodicals archive ?
He proposed a new concurrent logic programming language called Concurrent Prolog [20].
Concurrent Prolog is not efficient in realizing the atomic unification that is the origin of its expressiveness.
Ehud Shapiro proposed Concurrent Prolog that year, which was a more flexible alternative to Relational Language that featured read-only unification.
Concurrent Prolog) The core part of KL1 should be based on Concurrent Prolog, but should support search problems and metaprogramming as well.
Concurrent Prolog was conceived as an extension(1) of Prolog to introduce programmer-controlled concurrency [20].
Shapiro and Takeuchi [21] had written a paper about how Concurrent Prolog could be used as an actor or concurrent object language.
Near the end of 1982, Ehud Shapiro visited ICOT with his idea of Concurrent Prolog (CP).
GHC is based on ideas used in Relational Language [5], Concurrent Prolog [27] and Parlog [6].
In order to get a comparably concise solution in CLP, Shapiro needs to jettison Flat Concurrent Prolog (his own invention) and introduce us to the super-duper new logic language FCP(arrow pointing up), which is a variant of Saraswat's FCP(arrow pointing down), which is in turn a variant of FCP.
Several years ago we published a brief discussion contrasting Concurrent Prolog with Linda, but new developments make a comparison between Linda and some of the Parlog86 solutions recently featured in Communications seem desirable.
This account is not intended to be comparative but pedagogical, so that the features of other concurrent logic programming languages such as Concurrent Prolog [29] and GHC [32] and previous manifestations of Parlog that might confuse the initiate are postponed until the end of the article.
The restoration in Concurrent Prolog was motivated more by idealism than practicality.

Full browser ?