% Base case: factorial of 0 is 1
fac(0, 1).
% Recursive definition of factorial
fac(N, X) :-
	N1 is N-1,
	fac(N1, Y),
	X is Y*N.
