LoRP: LLM-based Logical Reasoning via Prolog. - Zhengkun Di; Chaoli Zhang; Hongtao Lv; Lizhen Cui; Lei Liu 003 (Knowl. Based Syst., 2025)