Вычисление скалярного произведения двух векторов-списков (с учетом возможного несовпадения размерностей) - Prolog

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

Программу реализовать двумя способами: с использованием стандартных процедур обработки списков и без использования. (StrawberryProlog1_51) Задача: Вычисление скалярного произведения двух векторов-списков (с учетом возможного несовпадения размерностей).

Решение задачи: «Вычисление скалярного произведения двух векторов-списков (с учетом возможного несовпадения размерностей)»

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

scalar([H1|T1], [H2|T2], S) :- 
    !,
    scalar(T1, T2, SS),
    S = SS + H1*H2.
scalar(_, _, 0).

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

Входные данные: два вектора-списка H1 и H2, а также число S.
Первая линия кода: если H1 и H2 пустые, то результатом будет 0 (ноль), иначе выполняется следующий шаг.
Вторая линия кода: рекурсивный вызов функции scalar для векторов T1 и T2, а также значение SS.
Третья линия кода: значение S присваивается сумме значений SS и произведения длин векторов H1 и H2.
Четвертая линия кода: базовый случай - если оба вектора пустые, то результатом будет 0.
Выходные данные: значение S - скалярное произведение векторов H1 и H2.