negation by failure

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".

Last updated: 1994-11-29

Try this search on Wikipedia, OneLook, Google

Nearby terms:

NEC 780-C « needs assessment « neep-neep « negation by failure » negative acknowledgement » neighborhood bike code » NELIAC

Loading