Guarded Horn Clauses definition 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