% Factorial program in KL0
factorial(0, 1).
factorial(N, F) :-
    N > 0,
    N1 is N - 1,
    factorial(N1, F1),
    F is N * F1.

% Query to compute factorial of 5
:- factorial(5, Result), write(Result).