fork download
  1. % Given an input number:
  2.  
  3. factorial(0,1).
  4.  
  5. factorial(N,F) :-
  6. ?- write(25),nl.
  7. N>0,
  8. N1 is N-1,
  9. factorial(N1,F1),
  10. ?- F is N * F1.
  11.  
Success #stdin #stdout 0.02s 6204KB
stdin
5
stdout
Standard output is empty