(language)(GHC) A parallel dialect of Prolog by K. Ueda inwhich each clause has a guard. GHC is similar toParlog. When several clauses match a goal, their guardsare evaluated in parallel and the first clause whose guard isfound to be true is used and others are rejected. It usescommitted-choice nondeterminism.