LLM and Prolog, a Marriage in Heaven? (Was: The road to Artificial Intelligence)

There are more and more papers of this sort:
Reliable Reasoning Beyond Natural Language
To address this, we propose a neurosymbolic
approach that prompts LLMs to extract and encode
all relevant information from a problem statement as
logical code statements, and then use a logic programming
language (Prolog) to conduct the iterative computations of
explicit deductive reasoning.
[2407.11373] Reliable Reasoning Beyond Natural Language
The future of Prolog is bright?
Mild Shock schrieb:

 Your new Scrum Master is here! - ChatGPT, 2023
https://www.bbntimes.com/companies/ai-will-make-agile-coaches-and-scrum-masters-redundant-in-less-than-2-years
 LoL
 Thomas Alva Edison schrieb am Dienstag, 10. Juli 2018 um 15:28:05 UTC+2:

Prolog Class Signpost - American Style 2018
https://www.youtube.com/watch?v=CxQKltWI0NA