adding Backward Chaining Algorithm
added input file for backward chaining algorithm