%% goal: answer(X0)

answer(X) :- set_nth0(1, [a, b, c], z, X).