%% ?- answer(ok).

answer(ok) :- _ is 5.5 mod 2.