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

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

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

Решение задачи: «Предикат, удаляющий из данной строки все повторные вхождения символов»

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

domains
str=string
strl=str*
 
predicates
remall(char,str,str)
task(str,str)
 
clauses
 
remall(_,"","").
remall(C,S,R) :- frontchar(S,C,RS), remall(C,RS,R),!.
remall(C,S,R) :- frontchar(S,Q,RS), remall(C,RS,RR), frontchar(R,Q,RR).
 
task("","").
task(S,R) :- frontchar(S,A,RS), remall(A,RS,RRS),  task(RRS,RR), frontchar(R,A,RR).

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

remall(_,,). - Предполагается, что это пустой предикат, который ничего не делает, но нужен для соответствия формату описания предиката.
remall(C,S,R) :- frontchar(S,C,RS), remall(C,RS,R),!. - Этот предикат удаляет все вхождения символа C из строки S, оставляя только первое вхождение. Переменная R содержит результат.
remall(C,S,R) :- frontchar(S,Q,RS), remall(C,RS,RR), frontchar(R,Q,RR). - Этот предикат удаляет все вхождения символа C из строки S, оставляя только первое вхождение. Переменная R содержит результат.
task(,). - Это пустой вызов функции, который ничего не делает, но нужен для соответствия формату описания предиката.
task(S,R) :- frontchar(S,A,RS), remall(A,RS,RRS), task(RRS,RR), frontchar(R,A,RR). - Этот предикат обрабатывает входную строку S, удаляя все повторяющиеся символы и сохраняя результат в переменной R. Функция frontchar используется для обработки каждого символа строки S.