notes on forward and backward chaining 2554207