Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: Mild Shock Newsgroups: comp.lang.prolog Subject: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Date: Fri, 9 Aug 2024 14:42:20 +0200 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 9 Aug 2024 12:42:19 -0000 (UTC) Injection-Info: solani.org; logging-data="1066094"; 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:X0t9b24yZfXkNhPqJQ5rUtxaMdo= In-Reply-To: X-User-ID: eJwFwQkBwDAIA0BLoSU8chgU/xJ2x2ti7Wo05XLbxaMHcNxD4oxabA2U74zIsGH4NlJyqvKW1U54HtiX7/01lxUt Bytes: 2224 Lines: 36 Just look at GitHub issues and sort by "recent update". I get for the last week the following figures: - New tickets: 7 new tickets - Closed tickets: 2 closed tickets To get a turn around you the the 2nd number bigger that the 1st number, and not the other way around. Mild Shock schrieb: > 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?