%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Procedura per il calcolo del fattoriale 
% di un numero intero 
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%% fatt(N,F): vero se F e' il fattoriale di N (F = N!)

fatt(0,1).
fatt(N,F)  :-
        N > 0,	
        N1 is N-1,
	fatt(N1,F1),
	F is F1 * N.

