fact.pro

fact(1,1):-!.

fact(N, F):-
	N1 is N - 1,
	fact(N1, F1),
	F is F1 * N.