answer(17, 'small world', acada, "ant", [97, 110, 116], c, -25, 4.2).
split('', ab).
split(a, b).
split(ab, '').
occurrence(0, 2, 9).
occurrence(7, 2, 2).