All Downloads are FREE. Search and download functionalities are using the official Maven repository.

APT.all-test.Pyramid.instruct.execute-solve-procedure.attempt-abstract-solution.use-balance.soar Maven / Gradle / Ivy


sp {propose-use-balance-fact
   (state  ^name attempt-abstract-solution
              ^balanced 
             -^value)
-->
   ( ^operator  + =)
   ( ^name use-balance )
}

sp {attempt-use-balance-fact
   (state  ^operator.name use-balance  
              ^
              ^
             -^value
              ^top-state  )
   ( ^instructions.relations )
   ( ^relation balanced 
         ^arg1  
         ^arg2 
         ^term )
-->
   ( ^value )
}