Concurrent Prolog - Ehud "Udi" Shapiro, Yale.
Guarded clauses and committed-choice [= dont-care] nondeterminism. A
subsets been implemented, but not the full language. "Concurrent Prolog:
Collected Papers", E. Shapiro, V.1-2, MIT Press 1987. (See Mandala).
Comments, Experience, Additions
Next Language: C+@