%% ?- answer.

answer :-
    arg(1, Term, Value).