anchor.diff:  )
   
   
  -
   ; ARCOS VIZINHOS NAO ATRIBUIDOS
   
   ; Search for non assigned neighbors in arc.
   
   (defun arcos-vizinhos-nao-atribuidos(psr var)
  -	(let ((result nil))
  +	(let
  +		(
  +			(result nil)
  +		)
   		(dolist (var-natribuida (psr-variaveis-nao-atribuidas psr))
   			(cond
   				(
  
positive.code:     		answ2
      )
  )
  
  
  ; RESTRICOES DA VARIAVEL
  
  
negative.code: )
  
  
  ; MY MEMBER
  
  ; Verify if an elem is in the list.
  
  (defun my-member (elem lista)
  	(cond ((null lista) nil)
  		((equal elem (first lista)) T)
  		(T (my-member elem (rest lista)))))
  
  
  ; PSR ATRIBUICOES CONSISTENTES EM ARCO
  