domains
listint=integer*

predicates
    split(listint,integer,listint,listint)

clauses
    split([H|T],1,[H],T):-!.
    split([H|T],N,X,Y):-
        N1=N-1,
        split(T,N1,X,Y),
        List1=[H|X],
        List2=Y.

goal
    split([1,2,3,4,5,6,7,8],4,X,Y),nl,write(X),write(Y).