; Wird eq statt eql hier verwendet, so kann die Funktion nur mit
; ganzen Zahlen betrieben werden, d.h. eql führt Typkonvertierung durch

(defun fakultät (n) (cond ((eql n 1) 1)
                           (t (* n (fakultät (- n 1))))))