Сумма ряда, степень и факториал - Prolog

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

Почему не работает программа, подскажите?

predicates
    fact(integer, integer)
    pow(integer, integer, integer)
    sum(integer, integer, real)
 
clauses
    /*==== fact ====*/
    fact(0, 1):-!.
 
    fact(N, RESULT):-
        N > 0,
    S = 2 *N + 1,
        Y = S - 1,
        fact(Y, NEW_RESULT),
        RESULT = NEW_RESULT * S.
 
    /*==== pow ==== */
    pow(_, 0, 1):-!.
    
    pow(X, N, RESULT):-
    S = 2 * N + 1,
        Y = S - 1,
        pow(X, Y, NEW_RESULT),
        RESULT = X * NEW_RESULT.
    
    /*==== sum ==== */
    sum(_, 0, 1):-!.
        
    sum(X, N, SUM):-
        pow(X, N, POW),
        fact(N, FACT),
        SUM = (POW / FACT).

Решение задачи: «Сумма ряда, степень и факториал»

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

                            predicates
sum_ser(real,real,integer,integer,real)
task(real,integer,real)
 
clauses
sum_ser(_,_,N,N,0).  
sum_ser(X,A,N,K,S) :- K<N, K1=K+1, A1=-A*X*X/(2*K1*(2*K1+1)),sum_ser(X,A1,N,K1,S1), S=S1+A.
 
task(X,N,R) :- sum_ser(X,X,N,0,R).
 
goal
task(3,2,S), write(S),nl.
                        