follow Dictionary.com

8 Wintry Words to Defrost Your Vocabulary

negation by failure

negation by failure in Technology


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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for negation

9
12
Scrabble Words With Friends