Создайте предикат, удаляющий в исходном списке все повторные вхождения элементов - Prolog

domains
int=integer
intl=int*
 
predicates
mem(int,intl)
setof(intl,intl)
 
clauses
mem(_,[]) :- fail.
mem(X,[X|_]) :- !.
mem(X,[_|T]) :- mem(X,T).
 
setof([],[]).
setof([H|T],[H|R]) :- setof(T,R),not(mem(H,R)).
setof([H|T],R) :- setof(T,R),mem(H,R).