answer(append_split, pair([], [a, b, c])).
answer(append_split, pair([a], [b, c])).
answer(append_split, pair([a, b], [c])).
answer(append_split, pair([a, b, c], [])).