Добавление по одному нулю после каждого четного элемента, в список натуральных чисел - Prolog

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

Добавление по одному нулю после каждого четного элемента, в список натуральных чисел.

Решение задачи: «Добавление по одному нулю после каждого четного элемента, в список натуральных чисел»

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

domains
int=integer
intl=int*
 
predicates
task(intl,intl)
 
clauses
task([],[]).
task([H|T],[H,0|Q]) :- H mod 2 = 0, task(T,Q).
task([H|T],[H|Q])   :- H mod 2 <> 0, task(T,Q).

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

Код на языке Prolog решает задачу добавления по одному нулю после каждого четного элемента в список натуральных чисел. В коде определены два домена:

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