% Reference 9.5: between/3 enumerates every integer in an inclusive range.
answer(n, X) :- between(3, 5, X).
%% goal: answer(X0, X1)