Describe the bug
After generating by a formula from a set of formulas x, they continue to be applied within this set x, after which all sets of formulas are traversed again. Further, nothing can be generated in the previous sets, and the set of x-formulas is run again, although this is not necessary.
Priorities must be handled in the inference or in the agent using it
Describe the bug
After generating by a formula from a set of formulas x, they continue to be applied within this set x, after which all sets of formulas are traversed again. Further, nothing can be generated in the previous sets, and the set of x-formulas is run again, although this is not necessary.
Priorities must be handled in the inference or in the agent using it