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

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

Доброго времени суток, получил вот такое простое задание, но не получается его сделать. Подскажите пожалуйста.( Не особо разбираюсь в Прологе ) Создайте предикат, заменяющий в исходном списке два подряд идущих одинаковых элемента одним.

Вот,что есть, но я не понимаю почему выходит ошибка "Syntax Error : Operator_expected."

DOMAINS
i=integer   il=i*
PREDICATES
p(i,il,il)
CLAUSES
p(A,[A|B],C):- !, p(A,B,C).
p(_,[A|B],[A|C]):- !, p(A,B,C).
p(_,_,[]).

Узнал причину вывода ошибки, код который я нашёл , это для Turbo Prolog, а задание необходимо сделать в SWI Prolog,я убрал DOMAINS и PREDICATES и оставил только 3 строчки.

p(A,[A|B],C):- !, p(A,B,C).
p(_,[A|B],[A|C]):- !, p(A,B,C).
p(_,_,[]).

Вроде всё работает как надо, но я не пойму как и принцип работы Вот результат 1 ?- p(1,[2,2,3,3,4,4,5],X). X = [2, 3, 4, 5]. Буду рад если кто то поможет с объяснением.

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

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

p(_, [], []).

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

В данном коде представлен предикат на языке Prolog, который выполняет следующую задачу: заменяет в исходном списке два подряд идущих одинаковых элемента одним. Предикат имеет следующий вид: p(A, B, C) Где:

A - первый элемент списка
B - второй элемент списка
C - третий элемент списка В данном случае, если два элемента списка A и B равны между собой, то предикат возвращает третий элемент списка C. Если же элементы A и B не равны, то предикат возвращает список, состоящий из элементов A, B и C. Пример использования предиката: ?- p(a, a, b). В данном примере предикат будет заменять два одинаковых элемента a одним элементом b.