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.



< Previous Terms Terms Containing Guarded Horn Clauses Next Terms >
GTL
GT/SQL
gu
guaranteed scheduling
guard
GHC
guard
gubbish
GUI
GUIDE
Guide
Guide to Available Mathematical Software