• Home
• com.soartech
• jsoar-performance-testing
• 5.0.1
• source code
• elaborations.soar

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

APT.all-test.Algebra.algebra.solve-problem.elaborations.soar Maven / Gradle / Ivy

sp {solve-problem*elaborate*substate
   (state  ^name solve-problem
              ^superstate )
   ( ^current-clause 
         ^operator.name solve-problem
         ^problem 
 )
-->
   ( ^current-clause 
        ^problem 
)
}


sp {algebra*compare*across-level-swap
   (state  ^name solve-problem
              ^operator  +
                         +)
   ( ^name << associate convert-subtract-to-add multiply-both-sides across-level-swap >>)
   ( ^name fail)
-->
   ( ^operator  > )}

sp {elaborations*compare*search-control
   (state  ^name solve-problem
              ^operator  +
                         +)
   ( ^name associate)
   ( ^name convert-subtract-to-add)
-->
   ( ^operator  > )
}


sp {algebra*compare*fail
   (state  ^name solve-problem
              ^operator  +
                         +)
   ( ^name fail)
   ( ^name << swap-sides associate >>)
-->
   ( ^operator  < )
}