Negation as failure is a non-monotonic inference rule in logic programming, used to derive from failure to derive. Note that can be different from the statement of the logical negation of, depending on the completeness of the inference algorithm... Wikipedia