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”.
(1994-11-29)
Read Also:
- Negationist
[ni-gey-shuh n] /nɪˈgeɪ ʃən/ noun 1. the act of denying: He shook his head in negation of the charge. 2. a denial: a negation of one’s former beliefs. 3. something that is without existence; nonentity. 4. the absence or opposite of something that is actual, positive, or affirmative: Darkness is the negation of light. 5. […]
- Negative
[neg-uh-tiv] /ˈnɛg ə tɪv/ adjective 1. expressing or containing negation or denial: a negative response to the question. 2. refusing consent, as to a proposal: a negative reply to my request. 3. expressing refusal to do something: He maintained a negative attitude about cooperating. 4. prohibitory, as a command or order. 5. characterized by the […]
- Negative accommodation
negative accommodation n. Adjustment of the lens for distant vision by relaxation of the ciliary muscles of the eye.
- 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 […]
- Negative advertisement
noun See negative advertising