Negation as failure

Inference rule treating non-provability as falsity

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 and thus also on the formal logic system.

This keyword could refer to multiple things. Here are some suggestions: