%% ?- answer(X0, X1).

answer(drop_all, X) :- drop(3, [a, b, c], X).