Word:

Guarded Horn Clauses

(language)Guarded Horn Clauses - (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.
Browse
guard boat
Guard cells
Guard chamber
Guard detail
guard dog
guard duty
guard hair
Guard lock
guard of honor
Guard rail
guard ship
guard's van
Guardable
Guardage
Guardant
Guarded
-- Guarded Horn Clauses --
guardedly
Guardenage
Guarder
Guardfish
Guardful
Guardhouse
Guardian
Guardian ad litem
guardian angel
guardian spirit
Guardianage
Guardiance
Guardianess
Guardianless
Guardians
Guardians of the poor
Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home