Два подряд идущих элемента списка - Prolog

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

Помогите написать предикат, которой для заданного числа и заданного числового списка проверяет, есть ли в списке два подряд идущих элементов, сумма которых равна данному числу.

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

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

domains
int=integer
intl=int*
 
predicates
task(intl,int)
 
clauses
task([_],_) :- fail.
task([X1,X2|_],C) :- X1+X2=C, !.
task([X1,X2|T],C) :- X1+X2<>C, task([X2|T],C).

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

В коде используется язык программирования Prolog.
Код решает задачу, связанную с двумя подряд идущими элементами списка.
Для решения задачи используется predicate (предикат) с именем task, который принимает два аргумента: первый - intl (список), второй - int (целое число).
В начале кода определены два домена: int (целое число) и intl (список целых чисел).
В clauses (условиях) определены два случая:
- Когда список пустой (первый элемент отсутствует), выполняется fail (завершение работы с ошибкой).
- Когда первые два элемента списка в сумме равны C (целому числу), выполняется утверждение!.
- Если сумма первых двух элементов списка не равна C, то вызывается рекурсивная функция task с аргументом [X2|T] (вторым элементом списка без первого).