% 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.