%% ?- answer(X0).

answer(Tail) :- ([a, b, c] = [a | Tail]).