%% goal: answer(X0, X1)

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