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

Go to download

sp {done-abstract
   (state  ^name attempt-abstract-solution
              ^value 
             -^less-than                            ## Bogus? Why here
              ^superstate )
   ( ^execute-step fail)
-->
   ( ^execute-step fail -
                       )
}

##### BOGUS!

sp {return-to-concrete-solution
   (state  ^name attempt-abstract-solution
              ^superstate 
              ^value 
              ^less-than last-term
              ^last-term )
   ( ^execute-step fail
         ^current-problem )
   (
 ^minimum-math-computations )
-->
   ( ^execute-step fail -)
   ( ^sum 
        ^term (-  1)
        ^minimum-math-computations  -
                                   unknown
        ^base-list 
        ^count (+  1))
   ( ^current 
           ^next )
}

sp {give-up-on-term
   (state  ^name use-relation ^superstate )
   ( ^define  ^superstate )
-->
   ( ^ impossible)
}

## Very General - Bogus?
sp {give-up-on-term1
   (state  ^ impossible
              ^define 
              ^superstate )
-->
   ( ^ impossible)
}