(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)