Strategy to tell prove procedure which rules to apply
A strategy selects a next action to execute. An action is represented by
a formula and the information whether this formula is in the antecedent
or the succedent. The action is to apply a rule to this formula.
Strategy to tell prove procedure which rules to apply
A strategy selects a next action to execute. An action is represented by a formula and the information whether this formula is in the antecedent or the succedent. The action is to apply a rule to this formula.