%% ?- answer(X0, X1).

answer(append_split, pair(Left, Right)) :- append(Left, Right, [a, b, c]).