negation by failure definition
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".