%% ?- answer.

answer :-
    arg(Index, pair(a, b), Value).