Tower of Hanoi: Best-First Search

> (search '((1 2 3) () ())
	  hanoi-extend
	  hanoi-goal?
	  best-first-merge
	  hanoi-estimate
	  hanoi-print-state)

C U R R E N T   Q U E U E:
  (1 2 3)  _        _          + 0 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (1 2 3)  _        _        
LEGAL SUCCESSOR STATES:
  (2 3)    (1)      _        
  (2 3)    _        (1)      

C U R R E N T   Q U E U E:
  (2 3)    (1)      _          + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (2 3)    (1)      _        
LEGAL SUCCESSOR STATES:
  (3)      (1)      (2)      
  (1 2 3)  _        _        
  (2 3)    _        (1)      

C U R R E N T   Q U E U E:
  (3)      (1)      (2)        + 2 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (3)      (1)      (2)      
LEGAL SUCCESSOR STATES:
  (1 3)    _        (2)      
  (3)      _        (1 2)    
  (2 3)    (1)      _        

C U R R E N T   Q U E U E:
  (3)      _        (1 2)      + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (3)      _        (1 2)    
LEGAL SUCCESSOR STATES:
  _        (3)      (1 2)    
  (1 3)    _        (2)      
  (3)      (1)      (2)      

C U R R E N T   Q U E U E:
  _        (3)      (1 2)      + 4 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  _        (3)      (1 2)    
LEGAL SUCCESSOR STATES:
  (3)      _        (1 2)    
  (1)      (3)      (2)      
  _        (1 3)    (2)      

C U R R E N T   Q U E U E:
  _        (1 3)    (2)        + 5 PREVIOUS STATES
  (1)      (3)      (2)        + 5 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  _        (1 3)    (2)      
LEGAL SUCCESSOR STATES:
  (1)      (3)      (2)      
  _        (3)      (1 2)    
  (2)      (1 3)    _        

C U R R E N T   Q U E U E:
  (1)      (3)      (2)        + 5 PREVIOUS STATES
  (1)      (3)      (2)        + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 6 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (1)      (3)      (2)      
LEGAL SUCCESSOR STATES:
  _        (1 3)    (2)      
  _        (3)      (1 2)    
  (1)      (2 3)    _        

C U R R E N T   Q U E U E:
  _        (1 3)    (2)        + 6 PREVIOUS STATES
  (1)      (2 3)    _          + 6 PREVIOUS STATES
  (1)      (3)      (2)        + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 6 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  _        (1 3)    (2)      
LEGAL SUCCESSOR STATES:
  (1)      (3)      (2)      
  _        (3)      (1 2)    
  (2)      (1 3)    _        

C U R R E N T   Q U E U E:
  (1)      (2 3)    _          + 6 PREVIOUS STATES
  (1)      (3)      (2)        + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 7 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
EXTENDING FIRST STATE ON QUEUE:
  (1)      (2 3)    _        
LEGAL SUCCESSOR STATES:
  _        (1 2 3)  _        
  _        (2 3)    (1)      
  (1)      (3)      (2)      

C U R R E N T   Q U E U E:
  _        (1 2 3)  _          + 7 PREVIOUS STATES
  _        (2 3)    (1)        + 7 PREVIOUS STATES
  (1)      (3)      (2)        + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 6 PREVIOUS STATES
  (2)      (1 3)    _          + 7 PREVIOUS STATES
  (1 3)    _        (2)        + 3 PREVIOUS STATES
  (1 3)    _        (2)        + 4 PREVIOUS STATES
  (2 3)    _        (1)        + 1 PREVIOUS STATES
  (2 3)    _        (1)        + 2 PREVIOUS STATES
R E A C H E D   G O A L   S T A T E
  _        (1 2 3)  _        
PATH TO GOAL STATE:
  (1 2 3)  _        _        
  (2 3)    (1)      _        
  (3)      (1)      (2)      
  (3)      _        (1 2)    
  _        (3)      (1 2)    
  (1)      (3)      (2)      
  (1)      (2 3)    _        
  _        (1 2 3)  _        
>