Resposta ao exercício 33

(defun igual? (obj1 obj2)
  (cond ((atom obj1) (and (atom obj2) (eql obj1 obj2)))
        ((atom obj2) nil)
        ((igual? (car obj1) (car obj2))
         (igual? (cdr obj1) (cdr obj2)))))

Esta função já existe em Lisp e designa-se equal.