Progress on first order backwards chainin