negation by failure

Also found in: Wikipedia

0.03 sec.

negation by failure - An extralogical feature of Prolog and other logic programming languages in which failure of unification is treated as establishing the negation of a relation. For example, if Ronald Reagan is not in our database and we asked if he was an American, Prolog would answer "no".

How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Email
Feedback

? Mentioned in

abduction
PROLOG

Encyclopedia browser

? Full browser

Neer, Aert van der
Neerwinden
Nef, John Ulric
Nefertiti
Neff, Pat Morris
Nefud
negation
negation by failure
negative
negative acceleration
negative acknowledgement
negative afterimage
negative angle
negative area
negative binomial distribution

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| 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.