%% goal: answer(X0, X1)

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