true.

?- split([a, b, c], X, Y).
X = a,
Y = [b, c].

?- split([a], X, Y).
X = a,
Y = [].

?- split([1, 8, 2, 4], F, L).
F = 1,
L = [8, 2, 4].

?- split(Looky, [a], [b, c]).
Looky = [[a], b, c].

?- split(Looky, [a], Tail).
Looky = [[a]|Tail].

?- halt.