%% goal: answer(X0)

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