fork download
  1. % Factorial of 0 is 1.
  2. factorial(0, 1).
  3. % Recursive case: N! = N * (N-1)!
  4. factorial(N, Result) :-
  5. N > 0,
  6. N1 is N - 1,
  7. factorial(N1, R1),
  8. Result is N * R1.
  9.  
  10. % GCD using Euclidean algorithm
  11. gcd(X, 0, X) :- X > 0.
  12. gcd(X, Y, Result) :-
  13. Y > 0,
  14. Remainder is X mod Y,
  15. gcd(Y, Remainder, Result).
Success #stdin #stdout #stderr 0.04s 6916KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit