Concurrent Prolog

<language>

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

Last updated: 1994-11-30

Nearby terms:

concurrent processingConcurrent PrologConcurrent SchemeConcurrentSmalltalk

Try this search on Wikipedia, OneLook, Google


Loading