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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Knowledge-based systems Jg. 327; S. 114140
Hauptverfasser:	Di, Zhengkun, Zhang, Chaoli, Lv, Hongtao, Cui, Lizhen, Liu, Lei
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 09.10.2025
Schlagworte:	Large language model Logical reasoning enhancement Prolog Logical reasoning enhancement Large language model Prolog
ISSN:	0950-7051
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!