What are the pros and cons of backward chaining search?

Backward chaining search can eventually find a derivation for a derivable judgment, goal-directed.

Backward chaining search may fail to decide that a non-derivable judgment cannot be derived.