针对大语言模型(LLM)在复杂逻辑推理中的局限性，研究者提出LoRP框架，通过系统化的一阶逻辑(FOL)到Prolog的翻译机制扩展逻辑表达能力，结合SWI-Prolog解释器实现可验证的符号推理。实验表明该框架显著提升LLM在多步推理中的准确性与稳定性，为神经符号集成提供 ...