negation by failureAn 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 acknowledgementpacket 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