Computing Dictionary
negation by failure definition
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".
(1994-11-29)
