Создайте предикат, вычисляющий отрицательную степень действительного числа. Turbo prolog

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

Создать предикат, вычисляющий отрицательную степень действительного числа. Подскажите , пожалуйста. Погряз в рекурсиях.

Решение задачи: «Создайте предикат, вычисляющий отрицательную степень действительного числа. Turbo prolog»

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

domains
int=integer
rea=real
 
predicates
pow_(rea,int,rea)
 
clauses
pow_(_,0,1.0).
pow_(X,P,Q) :- P<0, P1=-P, pow_(X,P1,Q1), Q=1.0/Q1.
pow_(X,P,Q) :- P>0, P1=P-1, pow_(X,P1,Q1), Q=Q1*X.

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

domains
- int=integer
- rea=real
predicates
- pow_(rea,int,rea)
clauses
- pow(,0,1.0).
- pow(X,P,Q) :- P<0, P1=-P, pow(X,P1,Q1), Q=1.0/Q1.
- pow(X,P,Q) :- P>0, P1=P-1, pow(X,P1,Q1), Q=Q1*X. В данном коде определен домен для целочисленных и вещественных чисел. Также определен предикат pow, который принимает три аргумента: два числа типа rea (вещественное число) и одно число типа int (целое число). В правилах (clauses) определены условия для вычисления отрицательной степени. Если степень отрицательна (P<0), то переменной P присваивается отрицательное значение (P1=-P), и рекурсивно вызывается предикат pow с новыми значениями аргументов (P1, Q1). Затем значение Q1 умножается на X, и результат присваивается переменной Q. Если степень положительна (P>0), то переменной P присваивается значение на единицу меньше исходной степени (P1=P-1), и рекурсивно вызывается предикат pow_ с новыми значениями аргументов (P1, Q1). Затем значение Q1 умножается на X, и результат присваивается переменной Q. Если степень равна нулю (P=0), то переменной Q присваивается значение 1.0.