(DEFINE FACTORIAL (LAMBDA (N)
  (COND
    ((ZEROP N) 1)
    (T (TIMES N (FACTORIAL (SUB1 N)))))))

(FACTORIAL 5)