Training Language Models to Use Prolog as a Tool