APT.all-test.mac.mac-planning.initialize.soar Maven / Gradle / Ivy

Go to download

sp {mac*propose*initialize
   (state  ^name mac
             -^left-bank)
-->
   ( ^operator  + =)
   ( ^name initialize)
}

sp {mac*apply*initialize
   (state  ^operator.name initialize)
-->
   ( ^name mac
        ^left-bank 
        ^right-bank 
        ^desired )
   ( ^missionaries 3
        ^cannibals 3
        ^boat 1
        ^other-bank )
   ( ^missionaries 0
        ^cannibals 0
        ^boat 0
        ^other-bank )
   ( ^right-bank )
   ( ^missionaries 3
         ^cannibals 3
         ^boat 1)
}