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

negative acknowledgement

<character> (NAK) The mnemonic for ASCII character 21.

Sometimes used as the response to receipt of a corrupted packet of information.

Opposite of acknowledgement.

<communications> (NAK) Any message transmitted to indicate that some data has been received incorrectly, for example it may have a checksum or message length error. A NAK message allows the sender to distinguish a message which has been received in a corrupted state from one which is not received at all.

An alternative is to use only ACK messages, in which case the non-receipt of an ACK after a certain time is counted as a NAK but gives no information about the integrity of the communications channel.

See also ACK.

Last updated: 1997-01-07

Try this search on Wikipedia, OneLook, Google

Nearby terms:

needs assessment « neep-neep « negation by failure « negative acknowledgement » neighborhood bike code » NELIAC » Neon

Loading