Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Guarded Horn Clauses
Jump to user comments
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