Resposta ao exercício 16

(defun soma-geral (a b)
    (soma-iter a a b b))

(defun soma-iter (a+ a- b+ b-)
    (cond ((zerop a+) b-)
          ((zerop a-) b+)
          (t (soma-iter (1+ a+) (1- a-)
                        (1+ b+) (1- b-)))))