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


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 […]

Disclaimer: Negation by failure definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.