Guarded Horn Clauses

0.04 sec.

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

?Page tools

Feedback

Mentioned in

Encyclopedia browser

Full browser

Guaporé River
guaraná
Guaraní
guaranteed scheduling
guard
guard band
Guarda

Guarded Horn Clauses
Guardi, Francesco
Guardia, Tomás
guardian
guardian and ward
guardian angel
Guardian Black Dog
Guardian, The

Free Tools:	For surfers: Browser extension \| Word of the Day \| Help For webmasters: Free content NEW! \| Linking \| Lookup box \| Double-click lookup \| Partner with us

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.