Optimized Backward Chaining Reasoning System for a