%% ?- answer.

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