%% goal: answer

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