APT.all-test.towers-of-hanoi.monitor.soar Maven / Gradle / Ivy

Go to download


###
### TOWER-OF-HANOI PROBLEM SPACE: 
### MONITOR STATE AND OPERATORS
###

sp {tower-of-hanoi*monitor*state*holds*above*disk
    (state  ^superstate nil
               ^holds )
    ( ^disk.size  
         ^above.size 
         ^on.name )
    -->
    (write (crlf) 
           |  On(|  
           |,|  
           |),Above(| 
           |).|)}
  
sp {tower-of-hanoi*monitor*state*holds*above*none
    (state  ^superstate nil
               ^holds )
    ( ^disk.size 
         ^above none 
         ^on.name )
    -->
    (write (crlf) 
           |  On(|  
           |,|  
           |).|)}
  
sp {tower-of-hanoi*monitor*state*upper-disk
    (state  ^superstate nil
               ^upper-disk.size )
    -->
    (write (crlf) 
           |  Upper-Disk(|  
           |).|)}
  
sp {tower-of-hanoi*monitor*state*clear
    (state  ^superstate nil
               ^clear.name )
    -->
    (write (crlf) 
           |  Clear(Peg(|  
           |)).|)}
  

sp {tower-of-hanoi*desired-state*above*disk
    (state  ^desired  
               ^superstate nil)
    ( ^disk  ^above  ^on )
    ( ^size )
    ( ^size )
    ( ^name )
    -->
    (write (crlf) 
           |  Desired/On(|  
           |,|  
           |),Above(| 
           |,| 
           |)/.|)}
  
sp {tower-of-hanoi*desired-state*above*none
    (state  ^desired  ^superstate nil)
    ( ^disk  ^above none ^on )
    ( ^size )
    ( ^name )
    -->
    (write (crlf) 
           |  Desired[On(|  
           |,|  
           |),Above(| 
           |,-)].|)}
  
sp {tower-of-hanoi*monitor*operator-execution*move-disk
    (state  ^operator )
    ( ^name move-disk
         ^disk.size 
         ^from.name 
         ^to.name )
    -->
    (write (crlf) 
           |  Executing(Move-Disk(| 
           |,|  
           |,| 
           |)).|)}

### eof of tower-of-hanoi.soar