%% goal: answer(X0)

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