fork(1) download
  1. fact(0, 1).
  2. fact(N, F) :-
  3. N > 0, /* N > 0 をチェック */
  4. N1 is N-1, /* N-1 を N1 に求める */
  5. fact(N1, F1), /* N1! を F1 に求める */
  6. F is N*F1. /* F は N*F1 とする */
  7.  
Success #stdin #stdout #stderr 0.03s 6968KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit