TY  - RPRT
TI  - Probing for Long-Horizon Deductive Reasoning Capabilities in Language Models with Prolog
AU  - Hadeel Al-Negheimish
AU  - Jasna Ilieva
AU  - Yoon Kim
PY  - 2026
UR  - https://arxiv.org/abs/2610.11592
ID  - 2610.11592
ER  -