CONCURRENT PROLOG
\kənkˈʌɹənt pɹˈə͡ʊlɒɡ], \kənkˈʌɹənt pɹˈəʊlɒɡ], \k_ə_n_k_ˈʌ_ɹ_ə_n_t p_ɹ_ˈəʊ_l_ɒ_ɡ]\
Sort: Oldest first
-
A Prolog variant with guarded clauses andcommitted-choice nondeterminism (don't-care nondeterminism) byEhud "Udi" Shapiro, Yale . A subset hasbeen implemented, but not the full language.See also Mandala.["Concurrent Prolog: Collected Papers", E. Shapiro, V.1-2, MITPress 1987].
By Denis Howe
