Concurrent Prolog

A Prolog variant with guarded clauses and committed-choice nondeterminism (don't-care nondeterminism) by Ehud "Udi" Shapiro, Yale <[email protected]>.

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].

< Previous Terms	Terms Containing Concurrent Prolog	Next Terms >
Concurrent ML Concurrent Oberon Concurrent Object-Oriented C Concurrent Object-Oriented Language Concurrent Pascal	Concurrent Prolog CP ECP Extended Concurrent Prolog FCP	Concurrent Scheme ConcurrentSmalltalk Concurrent SP/k condela condition out