/* Определение факториала числа */

fact(0) :- 1;
fact(X) :- X>>0, X*fact(X-1);