Найдите в чем ошибка. Prolog

domains 
ilist=integer* 
 
predicates 
 
pr(ilist,ilist)
min(ilist,integer)
min2(integer,integer,integer)
minpol(ilist,integer)
spispol(ilist,ilist)
ob(ilist,ilist,ilist)
spispol2(ilist,ilist)
 
clauses
 
spispol2([],[]).
spispol2(L,[Y|L2]):-minpol(L,Y),
ob(L1,[_],L),spispol2(L1,L2).
 
%pr(X,[X|_]):-X>0.
%pr(X,[]):-X<=0.
%pr(X,[_|L]):-pr(X,L).
 
spispol([],[]).
spispol([X|L],[X|L1]):-X>0,spispol(L,L1).
spispol([X|L],L1):-X<=0,spispol(L,L1).
 
ob([],L,L).
ob([X|L1],L2,[X|L3]):-ob(L1,L2,L3).
 
minpol(L,M):-spispol(L,L1),min(L1,M).
min([X],X).
min([X,Y|L],M):-min([Y|L],M1), min2(M1,X,M). 
min2(X,Y,X):-X<=Y. 
min2(X,Y,Y):-X>Y.

domains
int=integer
intl=int*
 
predicates
filter(intl,intl)
app(intl,intl,intl)
split(intl,int,intl,intl)
qsort(intl,intl)
task(intl,intl)
 
clauses
filter([],[]).
filter([H|T],[H|R]) :- H>0, filter(T,R).
filter([H|T],R) :- H<=0, filter(T,R).
 
app([],X,X).
app([H|T],X,[H|R]) :- app(T,X,R).
 
split([],_,[],[]).
split([H|R],D,[H|Low],High) :- H<D,split(R,D,Low,High).
split([H|R],D,Low,[H|High]) :- H>=D,split(R,D,Low,High).
 
qsort([],[]).
qsort([D|R],Res) :- split(R,D,L,H),qsort(L,LS), qsort(H,HS), app(LS,[D],LS1), app(LS1,HS,Res).
 
task(X,Y):- filter(X,PX), write(PX),nl,  qsort(PX,Y).