% ISO 8.15.2: false/0 always fails.
%% ?- answer(X).

answer(false_fails) :- \+ false.
answer(fail_fails) :- \+ fail.