domains
listint=integer*.

predicates
    split(listint,integer,listint,listint)
    conc(listint,listint,listint)

clauses
    split([H|T],1,[H],T):-!.
    split([H|T],N,X,Y):-
        N1=N-1,
        split(T,N1,X1,Y),
        conc([H],X1,X),
        !.
    conc([],S2,S2):-!.
    conc([H|T],S2,S3):-conc(T,S2,S4),S3=[H|S4].

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