No description provided.
Simple Rule Engine
Not only can this rule engine tell when rules conflict but it can be expanded in many ways, including as an automatic theorem solver