You are here: irt.org | FOLDOC | Guarded Horn Clauses
<language> (GHC) A parallel dialect of Prolog by K. Ueda in which each clause has a guard. GHC is similar to Parlog. When several clauses match a goal, their guards are evaluated in parallel and the first clause whose guard is found to be true is used and others are rejected. It uses committed-choice nondeterminism.
(1995-05-09)
Nearby terms: gu « guaranteed scheduling « guard « Guarded Horn Clauses » gubbish » guest book » GUI
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL