defun fact
n
cond
zerop n
1
t
* n
fact
1- n