follow Dictionary.com

Why is the ninth month called September?

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