(defun inverte (lista) (labels ((inverte-aux (lista lista-aux) (if (null lista) lista-aux (inverte-aux (rest lista) (cons (first lista) lista-aux))))) (inverte-aux lista nil)))
Esta função já existe em Lisp e denomina-se reverse.