anchor.diff:  
   			(set 'z1 (unificar f1 f2 unificador))
   			;(when (null z1) (throw 'unificarException 'no-unificable))
  -			(setf unificador (append unificador (list z1)))
  -			
  +			(cond 
  +				((miembro-unificador2 z1 unificador) unificador)
  +				(T (setf unificador (append unificador (list z1))))
  +			)
   			(set 'g1 (aplicar z1 t1))
   			(set 'g2 (aplicar z1 t2))
   
  
positive.code: 	)
  )
  
  
  (defun unif(e1 e2)
  	(cond
  
negative.code: 	;(when (eq lista '(*)) lista)
  	(if (eq lista '())
  	()
  	(cons (sustituir (first sustitucion) (second sustitucion) (first lista))
  		(poner (first sustitucion) (second sustitucion) (rest lista))))
  )
  
  (defun sustituir (b a elem)
  	(if (eq elem a)
  	b
  	elem)
  