Negation as failure.
Source: The Art of Prolog
Program source code: negation.pl
/* not X :- X is not provable. */ :- op(900, fx, [not]). not X :- X, !, fail. not _. % Program 11.6 Negation as failur