Prolog - Арифметические операции (степень и сложение)

[INIFREY]

Нужно написать программу (Turbo Prolog) для вычисления:


Вот, что написал, но выдает ошибку:

domains 
int=real
 
 predicates
  y(int,int,int,int)
  st(int,int,int,int,int)
  stw(int,int,int,int,int)
  yw(int,int,int)
 clauses
 y(X,_,_,Y):-
               X<2,
               Y = X*0,!. 
 
y(X,N,M,Y):-
              st(X,N,M,K,Y).
 
 
st(X,N,M,K,Y):-N1 = N-1,
            st(X,N1,M,K1,Y), K=K1*X, stw(X,K,M,J,Y).
 
 
 stw(X,M,K,J,Y):-M1=M-1,
            stw(X,M1,K,J1,Y), J=J1*X, yw(K,J,Y).
 
yw(K,J,Y):- Y=K+J.

Ошибка: 1002 Stack overflow. Re-configure with Options if necessary.
Как можно исправить(либо эту ошибку, либо можно ли как-то по-другому сделать задание, что бы ошибки небыло)?