salut,

(defun unifierAtomes (E1 E2)
(if (NOT(atom E1))(PROGN (setq temp E1) (setq E1 E2)(setq E2 temp)))
;;(if (equal E1 E2) 'nil)
;;(if (estUneVariable E1) (PROGN (if (apparait E1 E2) 'ECHEC) (return E1)))
;;(if (estUneVariable E2) (PROGN (return (append E1 E2)) (return 'ECHEC)))))



dans cette fonction je dois retourner plusieurs variables achake cdt , j'ai une erreur "ABORT" et je sais pas comment corriger ma fonction

Veuillez bien m'aider