Дан список, упорядочить его по возрастанию и убедиться, что в нем нет повторов

DOMAINS
список=integer*
элемент=integer
 
PREDICATES
%nondeterm начспис(список)
nondeterm вставсорт(список, список)
nondeterm встав(элемент, список, список)
nondeterm повтор(список, список)
 
CLAUSES
 
 
вставсорт([], []).
вставсорт( [X | Хв], УпорСпис) :-
вставсорт( Хв, УпорХв), % Сортировка хвоста
 
встав( X, УпорХв, УпорСпис).
% Вставить X на нужное место
встав( X, [Y | УпорСпис], [Y | УпорСпис1]):-
X>Y, !,
встав( X, УпорСпис, УпорСпис1).
встав( X, УпорСпис, [X | УпорСпис] ).
 
 
повтор([_]).
повтор([X,Y|Хв]):- Y>X, повтор([Y|Хв]).
   
GOAL
вставсорт([7,3,5,8,2,1], УпорСпис),
повтор(УпорСпис).

nondeterm мойЦенныйПредикат(список)
 
мойЦенныйПредикат(Список):-
    вставсорт(Список, УпорСпис),
    повтор(УпорСпис).
 
goal
    мойЦенныйПредикат([7,3,5,8,2,1]).