Почему переполняется стек - Prolog

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

Написал программу, но не пойму почему переполняется стек. Суть программы - возведение в степень ч/з сложения.

predicates
d(integer,integer)
step(integer,integer,integer)
k(integer,integer,integer)
mnoshen(integer,integer,integer)
start
 
clauses
d(0,0):-!.
d(X,C):-X1=X div 10,d(X1,C1),C=1+C1.
 
mnoshen(X,Y,Rez):-Y1=Y-1,step(X,Y1,Rez1),Rez=Rez1+X.
 
step(_,0,1):-!.
step(X,1,X):-!.
step(X,Y,Rez):-Y1=Y-1,step(X,Y1,Rez1), mnoshen(Rez1,X,Rez).
 
k(X,Y,Z):-step(X,Y,R),d(R,Z).
 
 start:-
 clearwindow,
 write("Input Chislo X="),
 readint(X),nl, 
 write("Input Stepen Y="),
 readint(Y),nl, 
 k(X,Y,Rez), step(X,Y,Rs),
 write("Rezult="), write(Rs),nl, 
 write("Kolichestvo numeral ="),write(Rez),nl.

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

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

mnoshen(_, 0, 0) :- !.
mnoshen(X, Y, Rez) :- Y1=Y-1, mnoshen(X,Y1,Rez1), Rez=Rez1+X.

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

Задача кода - вычислить результат выражения с использованием стека.
Стек используется для хранения промежуточных результатов вычислений.
Код начинается с правила mnoshen(_, 0, 0) :- !., которое является базовым случаем для рекурсивной функции и означает, что если любое из трех параметров равно нулю, то результат также будет равен нулю.
Основное правило для вычисления выражения представлено как mnoshen(X,Y, Rez) :- Y1=Y-1, mnoshen(X,Y1,Rez1), Rez=Rez1+X., где X - это оператор, Y - это приоритет оператора, а Rez - это результат вычисления.
Код рекурсивно вызывает себя, уменьшая значение второго параметра на единицу, пока второй параметр не станет равным нулю.
Когда второй параметр становится равным нулю, рекурсия завершается, и результат присваивается переменной Rez.
Значение переменной Rez увеличивается на значение переменной X, которая представляет оператор.
Значение переменной Rez представляет результат вычисления выражения.
Если стек переполняется, это может указывать на ошибку в выражении, например, на наличие цикла в выражении, который приводит к бесконечной рекурсии.
Переполнение стека можно предотвратить, добавив проверку на размер стека перед каждым вызовом рекурсивной функции.
Другой способ предотвратить переполнение стека - это использовать хвостовую рекурсию вместо обычной рекурсии, что позволяет компилятору оптимизировать рекурсивные вызовы и избежать переполнения стека.
Важно убедиться, что выражение корректно и не содержит ошибок, прежде чем запускать код.
Код может быть использован для вычисления выражений в логике предикатов, где операторы представлены символами, а значения хранятся в переменных.
Код можно использовать для вычисления выражений в форме Postfix, где операторы следуют за операндами.
Код может быть использован для вычисления выражений в форме Infix, где операторы находятся между операндами.
Код может быть использован для вычисления выражений в форме Prefix, где операторы находятся перед операндами.
Код можно использовать для вычисления выражений в форме infix-to-postfix, где выражение в формате Infix преобразуется в формат Postfix.
Код может быть использован для вычисления выражений в форме Postfix-to-Infix, где выражение в формате Postfix преобразуется в формат Infix.
Код может быть использован для вычисления выражений в форме Prefix-to-Infix, где выражение в формате Prefix преобразуется в формат Infix.
Код может быть использован для вычисления выражений в форме Infix-to-Prefiх, где выражение в формате Infix преобразуется в формат Prefix.