APT.all-test.Arithmetic.arithmetic.process-column.compute-result.elaborations.soar Maven / Gradle / Ivy

Go to download

# This subgoal is only used for subtraction when use
## subtraction facts - don't know how to use borrow directly 
## and must recursively borrow/add-10

sp {compute-result*elaborate*substate
   (state  ^name compute-result
              ^superstate.current-column )
   ( ^next-column )
   ( ^digit1 )
-->
   ( ^current-column 
        ^digit1 
        ^digit2 1)
}