Using ordering, it would be possible to define strict rules about which deduction rules or actions take precendence during execution.
Log in to post a comment.