%% goal: answer(X0)

answer(X) :- (X is -7 mod 3).