Напишите правило вычисления n-го члена последовательности, заданной рекуррентно - Prolog

Напишите правило вычисления n-го члена последовательности, заданной рекуррентно:

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

fn(0, 1) :- !.
fn(1, 2) :- !.
fn(N, FN) :-
    N1 is N - 1, fn(N1, FN1),
    N2 is N - 2, fn(N2, FN2),
    FN is FN1^2 - FN2^2.

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

fn(0, 1) :- !. - это базовый случай, когда n = 0, то есть первый член последовательности равен 1.
fn(1, 2) :- !. - это также базовый случай, когда n = 1, то есть второй член последовательности равен 2.
fn(N, FN) :- - это общий случай, когда заданы значения n и FN (n-й член последовательности).
N1 is N - 1 - это присваивание переменной N1 значения N - 1.
fn(N1, FN1) - это рекурсивный вызов функции с новыми значениями N1 и FN1.
N2 is N - 2 - это присваивание переменной N2 значения N - 2.
fn(N2, FN2) - это рекурсивный вызов функции с новыми значениями N2 и FN2.
FN is FN1^2 - FN2^2 - это формула для вычисления n-го члена последовательности, где FN1^2 - это квадрат значения FN1, а FN2^2 - это квадрат значения FN2.
Код выполняется до тех пор, пока не будет достигнуто базовое условие (n = 0 или n = 1), после чего возвращается значение FN.