%% ?- answer(X0, X1, X2).

answer(list_pattern_improper, H, R) :- [H|R] = [a | b].