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)