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 » GUI » GUIDE
|