Написать функцию, вычисляющую скалярное произведение двух числовых списков - Prolog

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

Добрый вечер! Помогите пожалуйста написать программу: Функция вычисляет скалярное произведение двух числовых списков. Если во входных списках задано разное количество элементов, то количество элементов в результате должно равняться количеству элементов в более коротком списке. желательно на Strawberry Prolog, заранее спасибо

Решение задачи: «Написать функцию, вычисляющую скалярное произведение двух числовых списков»

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

domains
int=integer
intl=int*
 
predicates
scal_prod(intl,intl,int)
 
clauses
scal_prod([],_,0) :- !.
scal_prod(_,[],0) :- !.
scal_prod([H1|T1],[H2|T2],S) :- Q=H1*H2, scal_prod(T1,T2,S1), S=S1+Q.

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

Функция scal_prod принимает три аргумента типа intl (int*), которые представляют собой списки целых чисел.
Функция scal_prod вычисляет скалярное произведение двух числовых списков.
Функция scal_prod использует рекурсию для обработки списков.
Если один из списков пуст, функция scal_prod возвращает 0.
Если оба списка пусты, функция scal_prod также возвращает 0.
Если оба списка не пусты, функция scal_prod берет два первых элемента из списков и вычисляет их произведение.
Затем функция scal_prod рекурсивно вызывает себя для обработки оставшихся элементов списков.
Функция scal_prod складывает произведение двух первых элементов с результатами рекурсивных вызовов.
Результат функции scal_prod возвращается в качестве значения переменной S.
Значение переменной S1 используется для вычисления значения переменной S.
Значение переменной Q представляет собой произведение двух первых элементов.
Значение переменной S1 используется для вычисления значения переменной S.
Значение переменной S представляет собой итоговое скалярное произведение двух числовых списков.
Значение переменной S1 используется для вычисления значения переменной S.
Значение переменной S представляет собой итоговое скалярное произведение двух числовых списков.
Значение переменной S1 используется для вычисления значения переменной S.
Значение переменной S представляет собой итоговое скалярное произведение двух числовых списков.
Значение переменной S1 используется для вычисления значения переменной S.
Значение переменной S представляет собой итоговое скалярное произведение двух числовых списков.
Значение переменной S1 используется для вычисления значения переменной S.