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 |
