Предикат, удваивающий введенное значение - Prolog

Добрый день! Помогите создать предикат, удваивающий введенное значение

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

domains
int=integer
intl=int*
 
predicates
dup(intl,intl)
 
clauses
dup([],[]).
dup([H|T],[U|R]) :- U=2*H, dup(T,R).

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

В коде используется язык программирования Prolog.

domains определяют типы данных для переменных. int - это целочисленный тип данных, intl - это указатель на целочисленный тип данных (для удобства работы с массивами).
predicates - это определения функций. dup - это функция, которая удваивает значение.
clauses - это конкретные реализации функций. dup([],[]) - это базовый случай, когда входной список пуст. dup([H|T],[U|R]) :- U=2*H, dup(T,R) - это рекурсивный случай, когда входной список не пуст. Здесь H - это первый элемент списка, T - это остаток списка, U - это удвоенное значение H, R - это результат вызова функции dup для списка T. В результате, данный код реализует функцию dup, которая удваивает значения элементов входного списка.