『Training Language Models to Use Prolog as a Tool』2026/1/6 4:19:00 https://arxiv.org/html/2512.07407v1