Factorial

factorial(0, 1):- !.

factorial(A, B) :-
C is A - 1,
factorial(C, D),
B is A * D.