
not(A)
    :-
    A, !, fail.

not(A).
