%% ?- answer.


answer :-
  _ is \ 2.5.