Вычислить значение произведения - Prolog

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

Ребята, помогите. Нужно вычислить уравнение. Степень я нашла,факториал вычислила,поделила значения...но как теперь это в цикл закрутить, чтобы ответы с каждого шага перемножались?

predicates
 
nondeterm factorial(unsigned,real)
nondeterm st(real,real,real)
nondeterm w(real,real,real)

clauses

  factorial(1,1):-!.
  factorial(X,FactX):- Y=X-1,
  factorial(Y,FactY), FactX =  X*FactY.
 
  st(F,1,F):-!.
  st(Y,N,X):-N1=N-1, st(Y,N1,X1),  X=X1*Y.
  
  w(X,Y,S):- S = X/Y.
 
goal
 
write("Г”Г*ГЄГІГ®Г°ГЁГ*Г«:"), nl,  factorial(5,Y),
write("Г‘ГІГҐГЇГҐГ*Гј:"), nl,  st(2,I,X),
write("Г„ГҐГ«ГҐГ*ГЁГҐ:"), nl,  w(X,Y,S).

Решение задачи: «Вычислить значение произведения»

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

loop2(From, To, _, M, M)  :-
    From > To,
    !.
loop2(From, To, A, M, Res)  :-
    MM = A * M,    
    Next = From + 1,
    AA = A * 2 / (Next + 1),
    loop2(Next, To, AA, MM, Res).

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

В данном коде решается задача вычисления произведения чисел от заданного значения From до To с определенным шагом M. Список выполненных действий:

Инициализация переменной From значением, которое больше To (условие для цикла).
Выход из цикла (оператор !).
Инициализация переменной MM значением произведения A и M (передача значения в следующий уровень рекурсии).
Инициализация переменной Next значением From + 1 (последующее значение From).
Инициализация переменной AA значением A * 2 / (Next + 1) (шаг для следующего вычисления).
Вызов функции loop2 с аргументами (Next, To, AA, MM, Res) (рекурсивный вызов). Таким образом, список действий в данном коде:
Инициализация From и проверка условия.
Выход из цикла.
Инициализация MM и передача в следующий уровень рекурсии.
Инициализация Next и передача в следующий уровень рекурсии.
Инициализация AA и передача в следующий уровень рекурсии.
Рекурсивный вызов функции loop2.