Сумма элементов матрицы - Prolog

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

Здравствуйте! Помогите найти сумму элементов половины побочной диагонали матрицы справа от центра.

Решение задачи: «Сумма элементов матрицы»

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

my_add(N, S) :- work_add(1, N, 0, S).
work_add(I,J,S,SR) :-
  I < J,           % если поставить нестрогое неравенство,
  !,               % будет захватываться центральный элемент
  get_item(I, J, V),
  SN is S + V,
  IN is I + 1,
  JN is J - 1,
  work_add(IN, JN, S, SR).
work_add(_, _, S, S).

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

my_add(N, S) :- work_add(1, N, 0, S).
- Эта строка кода передает два аргумента в функцию work_add. Аргументы N и S. Значение N представляет собой номер строки, а S - сумму элементов, которые уже были обработаны.
- Функция work_add вызывается с аргументами 1, N, 0 и S.
work_add(I,J,S,SR) :-
- Эта строка кода объявляет четыре аргумента функции work_add. I и J представляют собой индексы матрицы, S - текущую сумму, а SR - результат работы рекурсии.
I < J,
- Эта строка кода проверяет, что I меньше J. Если это условие истинно, то выполняется следующая строка кода.
!
- Эта строка кода обозначает конец условия и начало тела функции.
get_item(I, J, V),
- Эта строка кода вызывает функцию get_item, которая получает элемент матрицы с индексами I и J и сохраняет его в переменной V.
SN is S + V,
- Эта строка кода вычисляет новое значение суммы, добавляя к текущей сумме S значение элемента матрицы V. Результат сохраняется в переменной SN.
IN is I + 1,
- Эта строка кода вычисляет новый индекс для следующей итерации. Индекс I увеличивается на 1 и сохраняется в переменной IN.
JN is J - 1,
- Эта строка кода вычисляет новый индекс для следующей итерации. Значение J уменьшается на 1 и сохраняется в переменной JN.
work_add(IN, JN, S, SR).
- Эта строка кода вызывает функцию work_add рекурсивно с новыми индексами IN и JN, текущей суммой S и результатом предыдущей рекурсии SR.
work_add(_, _, S, S).
- Эта строка кода представляет собой базовый случай для рекурсии. Если оба индекса равны пустым значениям (что означает, что мы достигли конца матрицы), то функция возвращает текущую сумму S. Таким образом, данный код реализует рекурсивную функцию для вычисления суммы элементов матрицы. Рекурсия продолжается до тех пор, пока не будет достигнут базовый случай (пустая строка).