%% goal: answer

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