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: Alan Kay's Dynabook fueled by Prolog? (Was: Holy Grail makes People
 Disappear)
Date: Thu, 1 Aug 2024 18:20:26 +0200
Message-ID: <v8gck9$l4e2$1@solani.org>
References: <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:20:25 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="692674"; 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:0/14GsnlFVeDJLEijltuUUU7hdI=
In-Reply-To: <v8gc6e$l44p$1@solani.org>
X-User-ID: eJwNyMkBwCAIBMCWRA6hHFnc/ktI5jmuIYFj4WFOZ5Q4F9NjP2RLCe7zgFrjULcuO5dNjOVf3JO3FVUFjs7+AFuCFl4=
Bytes: 2434
Lines: 47

Hi,

The paper mentions: "Huge computing power
of our modern laptops". If I look at my
new iPad Pro M4 2024, I would say

"Huge computing power of tablets", measurement
have shown it is almost twice as fast as my
laptops form ca. 2020. So lets do the following:

Bring LPTP to Dogelog Player?

Bye

P.S.: This would give a new spin of Alan
Key's vision of Dynabook. Can we run the
Dynabook idea on Prolog?

Joe Armstrong interviews Alan Kay
https://www.youtube.com/watch?v=fhOHn9TClXY

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?