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

APT.Arithmetic.arithmetic.initialize-arithmetic.soar Maven / Gradle / Ivy

sp {arithmetic*propose*initialize-arithmetic
   (state  ^superstate nil
             -^name)
-->
   ( ^operator  +)
   ( ^name initialize-arithmetic)
}

sp {arithmetic*apply*initialize-arithmetic
   (state  ^operator.name initialize-arithmetic)
-->
   ( ^name arithmetic
        ^count 1000000000)}

# Use this rule to create a specific problem, which will
# be solved repeatedly - useful in debugging
#
#sp {arithmetic*apply*initialize-arithmetic*example
#   (state  ^operator )
#   ( ^name initialize-arithmetic)
#-->
#   ( ^arithmetic-problem 

) # (

^operation subtraction # ^operation-symbol |-| # ^current-column # ^one-column ) # ( ^next-column # ^digit1 0 # ^digit2 1 # ^column t) # ( ^next-column # ^digit1 0 # ^digit2 0 # ^column t) # ( ^next-column nil # ^digit1 1 # ^digit2 0 # ^column t)} # #





© 2015 - 2025 Weber Informatics LLC | Privacy Policy