Concurrent Prolog

Concurrent Prolog

A Prolog variant with guarded clauses andcommitted-choice nondeterminism (don't-care nondeterminism) by Ehud "Udi" Shapiro, Yale. A subset has been implemented, butnot the full language.

See also Mandala.

["Concurrent Prolog: Collected Papers", E. Shapiro, V.1-2, MITPress 1987].