Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news.szaf.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: LLM and Prolog, a Marriage in Heaven? (Was: The road to Artificial
 Intelligence)
Date: Sun, 4 Aug 2024 22:10:57 +0200
Message-ID: <v8on8h$psr9$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
 <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 4 Aug 2024 20:10:57 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="848745"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:y2G42h0yXg4jNgS/Mp+scH7CqzU=
In-Reply-To: <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
X-User-ID: eJwNy8ERACEIBLCWxIXlKAcR+i/h/GYmBgrLlUa1sekNeBY/3XXWReWFxpO9SuFcGmBzOqNDJJ2SrJqXJW6fH09hFb8=
Bytes: 2036
Lines: 23

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