Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of GUARDED HORN CLAUSES

 
Computing Dictionary
 
 Definition: 

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

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY