(defun ackermann (m n)
    (cond
        ((< m 0) nil)
        ((< n 0) nil)
        ((= m 0) (+ n 1))
        ((> m 0) (if (= n 0) (ackermann (- m 1) 1) (ackermann (- m 1) (ackermann m (- n 1)))))
    )
)