%% goal: answer

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