Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

Guarded Horn Clauses

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.

See also FGHC, KL1.

(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

©2018 Martin Webb