% Reference 9.7: append/3 can enumerate proper prefix/suffix splits.
answer(split, split(A, B)) :- append(A, B, [a, b]).
%% ?- answer(X0, X1).