<language> A Prolog variant with guarded clauses and committed-choice nondeterminism (don't-care nondeterminism) by Ehud "Udi" Shapiro, Yale <email@example.com>. 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].
Last updated: 1994-11-30
Try this search on Wikipedia, OneLook, Google
Nearby terms: Concurrent Object-Oriented Language « Concurrent Pascal « concurrent processing « Concurrent Prolog » Concurrent Scheme » ConcurrentSmalltalk » Concurrent SP/k