Encyclopedia > N > Negation as failure
Negation as failure
Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive not~p from failure to derive p. It has been an important feature of logic programming since the earliest days of both Planner and Prolog.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)