follow Dictionary.com

Your favorite word could be our Word of the Day!

guarded horn clauses

guarded horn clauses in Technology
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.
(1995-05-09)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for guarded

10
12
Scrabble Words With Friends