Backward Chaining With Leap Ahead