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

APT.Arithmetic-smem.arithmetic.retrieve-digits.soar Maven / Gradle / Ivy

### Should fix so get one retrieval and then got through next pointers until get back
### to one already retrieved.  That would eliminate the rule in elaborations so the
### system doesn't have to already know what the numbers are.

sp {arithmetic*propose*retrieve-digits
   (state  ^name arithmetic
             -^digits.complete true)
-->
   ( ^operator  + =, >)
   ( ^name retrieve-digits)
}

sp {apply*retrieve-digits*create-digit
   (state  ^operator.name retrieve-digits
              ^digits 
^smem ) ( ^command ^result.retrieved ) ( ^query.digit ) ( ^digit ) --> (
^digit )} sp {apply*retrieve-digits*query (state ^operator.name retrieve-digits ^smem.command ) --> ( ^query.digit 0) } sp {apply*retrieve-digits (state ^operator.name retrieve-digits ^smem ^digits
) ( ^result.retrieved ^command.query.digit 0) --> (
^digit ) }