Rule istanciation
An istance of a rule is a couple constituted by the rule and the values of the variables (of the rule) which satisfy the conditions of applicability of the rule
The variable-value associations are called bindings.
The Conflict Set is constituted by instances of rules.