%% ?- answer(X0, X1).

answer(append_to_improper_tail, X) :- append([a, b], tail, X).