anchor.diff:  (setf test5 '(((? x) (? b))))
   (setf test6 '(A))
   
  -(format t "extraerSimbolo~%")
  +(format t "~%~%extraerSimbolo~%")
   
   (format t "extraerSimbolo retorna ~s para ~s~%" (extraerSimbolo test1) test1)
   (format t "extraerSimbolo retorna ~s para ~s~%" (extraerSimbolo test2) test2)
  
positive.code: ;	elem)
  ;)
  ;
  ;(defun poner (a b lista)
  ;(if (eq lista '())
  ;()
  ;(cons (sustituir a b (first lista))(poner a b (rest lista))))
  ;)
  ;
  
  (format t "Probando esvariable~%")
  
  (setf test1 '())
  (setf test2 '(? x))
  
negative.code: (format t "La unificación de ~s y ~s es ~s~%" test3 test4 (probarUnif test3 test4))
  (format t "La unificación de ~s y ~s es ~s~%" test5 test6 (probarUnif test5 test6))
  (format t "La unificación de ~s y ~s es ~s~%" test7 test8 (probarUnif test7 test8))
  