fork(1) download
  1. main:-
  2. fact(4,F),
  3.  
  4. fact(0, 1).
  5. fact(N, F) :-
  6. N > 0, /* N > 0 をチェック */
  7. N1 is N-1, /* N-1 を N1 に求める */
  8. fact(N1, F1), /* N1! を F1 に求める */
  9. F is N*F1. /* F は N*F1 とする */
  10.  
Success #stdin #stdout #stderr 0.02s 6876KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
Warning: /home/WY0gXO/prog:1:
	Singleton variables: [F]
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit