
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 )
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy