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

Определение, имеются ли в числовом списке два подряд идущих нулевых элемента

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

domains
int=integer
intl=int*
 
predicates
task(intl)
 
clauses
task([_]) :- fail.
task([H1,H2|_]) :- H1=0, H2=0.
task([H1|T]) :- H1<>0, task(T).

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

Задана переменная task типа predicate
Задано множество domains с двумя элементами: int и intl
Задано множество clauses (условия) с тремя элементами:
- Первое условие: если список пустой, то задача некорректна и можно прекратить выполнение (fail).
- Второе условие: если в списке есть два нуля подряд, то это является решением задачи.
- Третье условие: если первый элемент списка не равен нулю, то рекурсивно вызывается функция task для оставшейся части списка.
В основной части программы вызывается функция task с пустым списком, что вызывает первое условие в clauses и прекращает выполнение программы.