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.Last updated: 1995-05-09
Nearby terms:
guaranteed scheduling ♦ guard ♦ Guarded Horn Clauses ♦ gubbish ♦ guest book
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
