Path: ...!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: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich
 Neumerkel?]
Date: Thu, 1 Aug 2024 18:13:03 +0200
Message-ID: <v8gc6e$l44p$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 1 Aug 2024 16:13:02 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="692377"; 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:DMT5264K3cI1lxktLJCt59zmEMQ=
X-Mozilla-News-Host: news://news.solani.org:119
X-User-ID: eJwVyckRwDAIA8CWAkYc5dix1H8Jmex3sdLyrUhkQFAxKnENMov0dhSaFnQ1S8u35vY8+585nHLoZfJMU7c/LsUVPg==
Bytes: 1821
Lines: 24

Hi,

I remember Robert Stärk's disappearing from
academic life at ETH Zurich all of a sudden.
Did Ulrich Neumerkel now also disappeared not

because the Scryer Prolog disaster, but after
he figured out that failure slices are not hip
enought? What could be more hip, are the modalities

of Robert Stärk's logic more hip now and even useful?

Automated Theorem Proving for Prolog Verification
Fred Mesnard etc.. May 2024
https://lim.univ-reunion.fr/staff/fred/Publications/24-MesnardMP-slides.pdf

Disclaimer: I am not deep into this theory,
it has some ingredients that were floating around
the 80's / 80's, not only in the millieau of ETH Zurich,

but also in the vincinity of Gehard Jaeger, Bern.
There are many alternative formalizations that
can express termination etc.. But maybe LPTP is

especially suited for Prolog?