Как отсортировать список по модулю на Prolog?

domains
int=integer
intl=int*
 
predicates
 
app(intl,intl,intl)
split(intl,int,intl,intl)
sort(intl,intl)
 
clauses
 
app([],X,X).
app([H|T],X,[H|R]) :- app(T,X,R).
 
split([],_,[],[]).
split([H|X],D,[H|L],R) :- abs(H)<= abs(D), split(X,D,L,R).
split([H|X],D,L,[H|R]) :- abs(H) > abs(D), split(X,D,L,R).
 
sort([],[]).
sort([H|T],Q) :- split(T,H,L,R), sort(L,SL), sort(R,SR), app(SL,[H],Q1), app(Q1,SR,Q).

member( X, [X | _]).
member( X, [_ | Tail]):-member( X, Tail).
 
% create list with integer elements and sort it ascending order
  run:-
     write('Input list. '), nl,
     write('For exit type -0'), nl,
     write_database,
     findall(X, dlist(X), List),
     insertsort(List,List_sort),
     show(List_sort).
   write_database:-
     repeat,
     write('Input some number: '), nl,
     read(Number),
     check(Number), abs(Number,_),!.
 
check(-1):- nl,nl.
check(Num) :-assertz(dlist(Num)),write('fdf'),
     fail.
 
show(List) :-
     write('Sorted list: '), nl,
     member(X, List),
     write(X), nl,
     fail.
  show(_) :- read(_).
  insertsort([],[]).
  insertsort([X|T], Sorted_L) :- insertsort(T, Sorted_T), insert(X, Sorted_T, Sorted_L).
 
  insert(X, [Y|Sorted_L], [Y|Sorted_L1]):- ascorder(X,Y), !, insert(X, Sorted_L, Sorted_L1).
  insert(X, Sorted_L, [X|Sorted_L]).
  ascorder(X,Y) :- X > Y.

domains
int=integer
intl=int*
 
predicates
 
app(intl,intl,intl)  %% склеивание списков
split(intl,int,intl,intl) %% расщепить список на два списка - меньших и не меньших заданного числа
sort(intl,intl) %% быстрая сортировка
 
clauses
 
app([],X,X). %% присоединение к пустому списку дает исходный
app([H|T],X,[H|R]) :- app(T,X,R). %% объединение есть голова первого, присоединенная к объединению
                                              %% хвоста первого и второго
 
split([],_,[],[]). %% расщепление пустого дает пустой
split([H|X],D,[H|L],R) :- abs(H)<= abs(D), split(X,D,L,R). %% если модуль головы меньше модуля разделяющего эл-та,
                                                                             %% то голова идет в первый список
split([H|X],D,L,[H|R]) :- abs(H) > abs(D), split(X,D,L,R).  %% иначе - во второй
 
sort([],[]). %% сортировка пустого дает пустой
               %% непустой список расщепляем по голове, сортируем меньшие, большие и все объединяем                   
sort([H|T],Q) :- split(T,H,L,R), sort(L,SL), sort(R,SR), app(SL,[H],Q1), app(Q1,SR,Q).