Реализовать семантику exp4 и fpl - Prolog

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

В прошлой моей теме мне помогли с семантикой переменных(exp2). Прошу помочь теперь с семантикой для булевых значений (exp4) и fpl(определение функций). Exp3(локальные переменные) уже сделано, привожу код ниже, по которому у меня вопрос: как работает здесь оператор let?

eval(R,let(X,E1,E2),V) :-
        eval(R,E1,V1),
        eval([X/V1|R],E2,V).
 
test(V) :-
        eval([x/2,y/6],2*x+4-y*let(x,x+y,x*x), V).
 
?-test(X).
X = 376

Также прикрепляю ниже презентации от преподавателя по данной теме. Спасибо за помощь. Слайды.zip

Решение задачи: «Реализовать семантику exp4 и fpl»

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

                            ?- let(x,x+y,x*x) = let(X,E1,E2).
X = x,
E1 = x+y,
E2 = x*x.
                        