Разбить исходный список на два списка примерно одинаковой длины - Prolog

domains
int=integer
intl=int*
 
predicates
len(intl,int)
sub(intl,int,int,intl)
split(intl,intl,intl)
 
clauses
len([],0).
len([_|T],N) :- len(T,N1), N=N1+1.
 
sub(_,0,0,[]).
sub([X|T],0,N,[X|R]) :- N1=N-1, sub(T,0,N1,R).
sub([_|T],M,N,R) :- M>0, M1=M-1, sub(T,M1,N,R).
 
split(X,X1,X2) :- len(X,L), LL=(L div 2),L1=LL,L2=L-LL,sub(X,0,L1,X1),sub(X,L1,L2,X2).