Backwards Chaining With Leap Aheads