% modification of an 
% example from Visual Prolog Version 5.0 
% Language Tutorial

factorial(0,1).

factorial(X, FactX) :-
  X1 is X - 1,
  factorial(X1, FactX1),
  FactX is FactX1 * X.