Assertion: negation | /r/HasProperty | rule
Facets:
value: in logic programming
type: OTHER
Source sentences:
text: Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive n o t p