Предикат для вычисления чисел Фибоначчи, использующий метод накапливающего параметра - Prolog

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

Напишите предикат для вычисления чисел Фибоначчи, используя метод накапливающего параметра. Предикат fib(N,K,F1,F2,R) содержит накапливающие параметры: K – текущий номер числа Фибоначчи. F1 и F2 – два подряд идущих числа Фибоначчи (в порядке возрастания номеров) Для того, чтобы вычислить 10-ое число Фибоначчи, вызываем ?- fib(10,2,1,1,R).

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

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

fib(N,R):- fib2(N, 1, 1, 0, R).
fib2(N,N,_,F2,F2):-!.
fib2(N,K,F1,F2,R):- K<N, F is F1+F2, 
fib2(N,K1,F2,F,R).

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

fib(N,R) - это определение пользовательской функции fib, которая принимает два аргумента N и R.
fib2(N,K,F1,F2,R) - это рекурсивная функция, которая также принимает пять аргументов N, K, F1, F2 и R.
fib2(N,K1,F2,F,R) - это базовый случай для рекурсии, когда K становится равным N, и функция прекращает свою работу.
f is F1+F2 - это вычисление значения переменной F, которое является суммой F1 и F2.
fib2(N,K,F1,F2,R) - это рекурсивный случай для функции, когда K меньше N. В этом случае функция вызывает саму себя с новыми значениями F1, F2 и R.
fib2(N,K1,F2,F,R) - это еще один базовый случай для рекурсии, когда K становится равным N.
Значение переменной R не определено в коде, но предполагается, что оно используется для возврата результата из функции fib.
В целом, этот код вычисляет числа Фибоначчи с использованием метода накапливающего параметра.