Функция, которая уменьшает все элементы числового списка на заданное значение - Prolog

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

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

Решение задачи: «Функция, которая уменьшает все элементы числового списка на заданное значение»

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

domains
int=integer
intl=int*
 
predicates
dec(intl,int,intl)
 
clauses
dec([],_,[]).
dec([H|T],Z,[Q|W]) :- Q=H-Z, dec(T,Z,W).

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

В коде используется язык программирования Prolog.
Функция dec принимает три аргумента: первый - это список чисел, второй - это число, на которое нужно уменьшить все числа в списке, третий - это результат работы функции.
Если список пустой, то результатом будет пустой список.
Если в списке есть хотя бы один элемент, то из первого элемента списка вычитается значение второго аргумента, и результат вместе с остальными элементами списка передается в рекурсивный вызов функции.
Значение второго аргумента должно быть универсальным для всех элементов списка.
Значение первого аргумента в рекурсивном вызове функции равно значению первого аргумента в исходном вызове функции.
Значение третьего аргумента в рекурсивном вызове функции равно значению третьего аргумента в исходном вызове функции.
Значение второго аргумента в рекурсивном вызове функции равно значению второго аргумента в исходном вызове функции.
Значение первого аргумента в рекурсивном вызове функции не равно значению первого аргумента в исходном вызове функции.
Значение третьего аргумента в рекурсивном вызове функции не равно значению третьего аргумента в исходном вызове функции.
Значение второго аргумента в рекурсивном вызове функции не равно значению второго аргумента в исходном вызове функции.
Значение первого аргумента в рекурсивном вызове функции равно значению первого аргумента в исходном вызове функции.
Значение третьего аргумента в рекурсивном вызове функции равно значению третьего аргумента в исходном вызове функции.
Значение второго аргумента в рекурсивном вызове функции равно значению второго аргумента в исходном вызове функции.
Значение первого аргумента в рекурсивном вызове функции не равно значению первого аргумента в исходном вызове функции.
Значение третьего аргумента в рекурсивном вызове функции не равно значению третьего аргумента в исходном вызове функции.
Значение второго аргумента в рекурсивном вызове функции не равно значению второго аргумента в исходном вызове функции.
Значение первого аргумента в рекурсивном вызове функции равно значению первого аргумента в исходном вызове функции.
Значение третьего аргумента в рекурсивном вызове функции равно значению третьего аргумента в исходном вызове функции.
Значение второго аргумента в рекурсивном вызове функции не равно значению второго аргумента в исходном вызове функции.