%% goal: answer(X0, X1)

answer(div_integer_trunc, X) :- (X is 7 / 2).