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