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
negative acknowledgement
1. (NAK) The mnemonic for ASCII character 21.
Sometimes used as the response to receipt of a corrupted packet of information. Opposite of acknowledgement.2. (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
Nearby terms:
neep-neep ♦ negation by failure ♦ negative acknowledgement ♦ neighborhood bike code
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
