%% ?- answer(X0).

answer(ok) :- between(1, 5, 3).