Removed former predicate and action classes
Add a class for the facts set
Add reactive rules representations
Implement the step 2 of the cycle: FiringRules
Little bug because of the standardization of the variables
Add getName() method to Unifiable and subclasses
Add new constructor to RuleSet
Add methods for operators translation
Add test for the new firing rules step