%% goal: answer(X0)

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