LoRP: LLM-based Logical Reasoning via Prolog

•We propose LoRP, a hybrid reasoning framework combining LLMs and Prolog.•A systematic FOL-to-Prolog translation mechanism extends Prolog’s expressiveness.•LoRP decouples language understanding and symbolic inference via four reasoning stages.•Extensive experiments show LoRP achieves state-of-the-ar...

Full description

Bibliographic Details

Published in:	Knowledge-based systems Vol. 327; p. 114140
Main Authors:	Di, Zhengkun, Zhang, Chaoli, Lv, Hongtao, Cui, Lizhen, Liu, Lei
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 09.10.2025
Subjects:	Large language model Logical reasoning enhancement Prolog Logical reasoning enhancement Large language model Prolog
ISSN:	0950-7051
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!