answer(split, split([], "ab")).
answer(split, split("a", "b")).
answer(split, split("ab", [])).