%% ?- answer(X0, X1).

answer(split_empty_separator, X) :- split('ab', '', X).