Выделить все одинаковые элементы списка в отдельный список - Prolog

Формулировка задачи:

Дан список из 10 элементов. Выделить все одинаковые элементы списка в отдельный список

Решение задачи: «Выделить все одинаковые элементы списка в отдельный список»

Листинг программы

domains
int=integer
intl=int*
 
predicates
isIn(int,intl)
filt(int,intl,intl)
task(intl,intl)
 
clauses
isIn(_,[])    :- fail.
isIn(N,[N|_]).
isIn(N,[K|T]) :- N<>K, isIn(N,T).
 
filt(_,[],[]).
filt(N,[N|T],[N|R]) :- filt(N,T,R).
filt(N,[M|T],R) :- N<>M, filt(N,T,R).
 
task([],[]).
task([N|T],R) :- isIn(N,T), filt(N,[N|T],R), !.
task([_|T],R) :- task(T,R), !.

Объяснение кода листинга программы

В коде используется язык программирования Prolog.

В первой строке объявлены два домена: int - целочисленный тип данных, и intl - указатель на список целочисленных значений.
Затем объявлены три предиката: isIn - проверяет наличие элемента в списке, filt - фильтрует список, оставляя только уникальные элементы, task - основная функция, выполняющая задачу.
В блоке clauses для предиката isIn реализована логика проверки наличия элемента в списке. Если элемент отсутствует в списке, то вызывается fail.
Для предиката filt реализованы три случая: пустой список, список с одним элементом и список с несколькими элементами.
В блоке clauses для предиката task реализована логика выполнения задачи. Если элемент найден в списке, то он фильтруется и добавляется в результирующий список.
В конце кода объявлена функция task, которая принимает на вход два списка и возвращает результирующий список.