%% goal: answer(X0, X1)

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