Написать программу на Prolog

В программе должна использоваться только хвостовая рекурсия. Описать функцию, которая вычисляет значение данного выражения при разных N:

Допустим, функция факториала есть.

fact(N, N, R, R)   :- !.
fact(N, N1, R, R1) :- N2 is N1 + 1
                   , R2 is R1 * N2
                   , fact(N, N2, R, R2).