%% ?- answer.

answer :-
    functor(Term, f, 1.5).