guarded horn clauses
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of guarded horn clauses words
- noun Technical meaning of guarded horn clauses (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. 1
Information block about the term
Parts of speech for Guarded horn clauses
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with g
- Words starting with gu
- Words starting with gua
- Words starting with guar
- Words starting with guard
- Words starting with guarde
- Words starting with guarded
- Words starting with guardedh
- Words starting with guardedho
- Words starting with guardedhor
- Words starting with guardedhorn
- Words starting with guardedhornc
- Words starting with guardedhorncl
- Words starting with guardedhorncla
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?