%% goal: answer(X0, X1)

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