Нахождение факториала - Prolog

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

Всем привет! Не могу написать рабочую программу нахождения факториала на SWI Prolog. Написал примерный код, вроде бы логика правильная, но программа выводит не корректные данные. Прошу помощи! count :- assert(counter(2)),fail. count :- repeat, counter(A), Y is A-1, X is A*Y , retract(counter(A)), assert(counter(Y)), write(X), X < 8000000.

Необходимо это реализовать с помощью repeat

Решение задачи: «Нахождение факториала»

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

                            ?- fact.
1! = 1
2! = 2
3! = 6
4! = 24
5! = 120
6! = 720
7! = 5040
8! = 40320
9! = 362880
10! = 3628800
11! = 39916800
                        