LAMBADA: Backward Chaining for Automated Reasoning in Natural Language