Resposta ao exercício 12

(defun positivo? (x)
  (positivo-aux x x))

(defun positivo-aux (x+ x-)
  (cond ((zerop x-) t)
        ((zerop x+) nil)
        (t (positivo-aux (1+ x+) (1- x-)))))