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



< Previous Terms Terms Containing negation by failure Next Terms >
neats vs. scruffies
Nebula
NEC
NEC 780-C
neep-neep
 Prolog
 negative acknowledgement
NELIAC
Neon
neophilia
Neptune