NEGATION BY FAILURE


Meaning of NEGATION BY FAILURE in English

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)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.