%% ?- answer(X0, X1).

answer(nth0_duplicate_index, I) :- nth0(I, [a, b, a], a).