Predicates for recursive functions Prolog

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

Доброе время суток! Я новичок в Prolog. Нам задали написать предикаты к рекурсивным функциям

f(x,y)= 0 if x=0
          1 if x=1
           y^2*f(x-2,y) if x>1

Помогите пожалуйста, хотя бы с чего начать. Заранее спасибо!

Решение задачи: «Predicates for recursive functions Prolog»

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

predicates
func(integer,integer,integer)
 
clauses
func(0,_,0). %% f(x,y)= 0 if x=0
func(1,_,1). %% f(x,y)= 1 if x=1
func(X,Y,F) :- X>1, XX=X-2, func(XX,Y,FF), F=Y*Y+FF.
 
goal
write("x="),readint(X),write("y="),readint(Y),func(X,Y,F), write("f="),write(F),nl.

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

predicates - объявление функций в виде предикатов в Prolog
func(integer,integer,integer) - определение функции с тремя аргументами типа integer
clauses - определение правил (условий) для функции func
func(0,_,0). - базовое правило для функции func когда аргумент X равен 0
func(1,_,1). - базовое правило для функции func когда аргумент X равен 1
func(X,Y,F) :- X>1, XX=X-2, func(XX,Y,FF), F=Y*Y+FF. - рекурсивное правило для функции func когда аргумент X больше 1
goal - определение цели (задачи) для программы
write(x=),readint(X),write(y=),readint(Y),func(X,Y,F), write(f=),write(F),nl. - основной код программы, вывод значений переменных X, Y, F и вычисление функции func
readint(X) - функция для чтения целого числа с клавиатуры и присвоения его переменной X
write(F) - функция для вывода значения переменной F на экран
nl - функция для вывода символа новой строки
XX - временная переменная для хранения значения аргумента X в рекурсивной функции func
FF - временная переменная для хранения результата вызова функции func в рекурсивной функции func