anchor.diff:  (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))
  -
  -
  -
  -
  -;(defun unif(e1 e2)
  -;	(cond
  -;		((esvariable e1) 
  -;			(if (and (not(atom e2)) (member (extraerSimbolo e1) e2)) (throw 'unificarException 'no-unificable)) (list e2 e1))
  -;		((esvariable e2) (list e1 e2))
  -;		(T 
  -;			(when (eq debug T) (print "Los dos son atomos"))  
  -;			(throw 'unificarException 'no-unificable))
  -;	)
  -;)
  
positive.code: (setf test5 '(((? x) (? b))))
  (setf test6 '(A))
  
  (format t "extraerSimbolo~%")
  
  (format t "extraerSimbolo retorna ~s para ~s~%" (extraerSimbolo test1) test1)
  (format t "extraerSimbolo retorna ~s para ~s~%" (extraerSimbolo test2) test2)
  
negative.code: (setf test13 '(P (f y) y))
  (setf test14 '(P (? x) (? n)))
  
  (format t "~%~%Probando la unificación~%")
  (format t "La unificación de ~s y ~s es ~s~%" test1 test2 (unificarEntrada test1 test2))
  (format t "La unificación de ~s y ~s es ~s~%" test3 test4 (unificarEntrada test3 test4))
  (format t "La unificación de ~s y ~s es ~s~%" test5 test6 (unificarEntrada test5 test6))
  (format t "La unificación de ~s y ~s es ~s~%" test7 test8 (unificarEntrada test7 test8))
  (format t "La unificación de ~s y ~s es ~s~%" test9 test10 (unificarEntrada test9 test10))
  (format t "La unificación de ~s y ~s es ~s~%" test11 test12 (unificarEntrada test11 test12))
  (format t "La unificación de ~s y ~s es ~s~%" test13 test14 (unificarEntrada test13 test14))
  
  
  ;Probar unificar y unificarEntrada tienen como diferencia procesar o no el primer elemento
  