%% ?- answer(X0, X1).

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