
APT.all-test.Pyramid.instruct.execute-solve-procedure.attempt-abstract-solution.use-balance.soar Maven / Gradle / Ivy
sp {propose-use-balance-fact
(state ^name attempt-abstract-solution
^balanced
-^value)
-->
( ^operator + =)
( ^name use-balance )
}
sp {attempt-use-balance-fact
(state ^operator.name use-balance
^
^
-^value
^top-state )
( ^instructions.relations )
( ^relation balanced
^arg1
^arg2
^term )
-->
( ^value )
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy