Assertion: negation | /r/HasProperty | useful
Facets:
Source sentences:
text: In fact, negation as failure is so useful, that it comes built in Standard Prolog, we don't have to define it at all.