The arithmetic functions may be used recursively, just as other functions available to the interpreter. As an example, we define factorial as it was given in Section I.
DEFINE ((
(FACTORIAL (LAMBDA (N) (COND
((ZEROP N) 1)
(1 (TIMES N (FACTORIAL (SUB1 N)))) )))
))