%% goal: answer(ok)

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