Объясните код

domains
    i = integer
    r = real
 
predicates
    factorial(i, r)
    pow(r, i, r, r)
    term_calc(r, i, r)
    exp_2(i, r, i, r)
   
clauses
    factorial(0, 1) :- !.
    factorial(1, 1) :- !.
    factorial(X, Y) :- XX = X - 1, factorial(XX, YY), Y = X * YY.
 
    pow(_, 0, _, Res) :- Res = 1, !.
    pow(X, 1, _, Res) :- Res = X, !.
    pow(X, P, Mult, Res) :- XX = Mult * X, PP = P - 1,
        pow(XX, PP, Mult, Res2), Res = Res2.
   
    term_calc(X, K, Y) :- pow(X, K, X, ResPow),
                factorial(K, FactRes),
                Y = ResPow / FactRes.
   
    exp_2(_, _, N, Res) :- N <= 0,!, Res = 0, !.
    exp_2(K, X, N, Res) :- KK = K + 1, term_calc(X, K, XX), NewN = N - 1,
    exp_2(KK, X, NewN, Res2), Res = XX + Res2.
   
goal
    write("x = "), readreal(X), write("N = "), readreal(N),
    exp_2(0, X, N, Res), write("exp(", X, ") = ", Res).

    % ---- Первое правило - выход из рекурсии при N <= 0
    exp_2(_, _, N, Res) :- 
        N <= 0,   % Если N не положительно
        !,        % отсекаем второе правило
        Res = 0,  % результат равен 0
        !.        % неизвестно зачем ещё одно отсечение
        
    % ---- Второе правило - шаг рекурсии
    exp_2(K, X, N, Res) :-        
        KK = K + 1,               % инкремент номера члена ряда
        term_calc(X, K, XX),      % расчёт очередного члена ряда  
        NewN = N - 1,             % декремент счётчика
        exp_2(KK, X, NewN, Res2), % рекурсивный подсчёт суммы остатка ряда
        Res = XX + Res2.          % результ получаем сложением суммы 
                                  % остатка ряда и очередного члена ряда