%% ?- answer(X0).

answer(ok) :- nth0(2, [a, b, c], c).