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

APT.all-test.Arithmetic.arithmetic.next-column.soar Maven / Gradle / Ivy

sp {arithmetic*propose*next-column
   (state  ^name arithmetic
              ^arithmetic-problem.current-column )
   ( ^result
        ^next-column )
   ( ^column t)
-->
   ( ^operator  + =)
   ( ^name next-column)
}

sp {arithmetic*apply*next-column
   (state  ^operator.name next-column
              ^arithmetic-problem )
   ( ^current-column )
   ( ^next-column )
-->
   ( ^current-column  -
                         )
}