『LoRP: LLM-based Logical Reasoning via Prolog - Sc...2026/1/6 4:19:00 https://www.sciencedirect.com/science/article/abs/pii/S0950705125011815