fork download
  1. factorial(0,1):- !.
  2. factorial(X, Y):-
  3. X>0,
  4. X1 is X-1,
  5. factorial(X1, Z),
  6. Y is X*Z.
Success #stdin #stdout 0.02s 68352KB
stdin
factorial(5,X).
stdout
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

X = 120

yes