factorial(0, 1).

factorial(N,X) :-
    N > 0,
    M is N - 1,
    factorial(M, Y),
    X is N * Y.