(defun fac (n) (if (= n 0) 1 (fac (1- n))))

(print (fac 5))