Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!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: Theodore W. Gray Patent: 2029-01-09 Adjusted expiration (Was: Biggest
 Nonsense are Run Buttons in SWISH Notebooks)
Date: Sun, 15 Jun 2025 03:50:55 +0200
Message-ID: <102l8uh$qo9l$1@solani.org>
References: <102l89g$qg0l$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 15 Jun 2025 01:51:13 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="876853"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.21
Cancel-Lock: sha1:60+Begm3yFDHf3Fk0A2etrcOHhk=
X-User-ID: eJwFwQkBACAIA8BMfEPiILL+EbwLg2DSEfBgUNeyITISB2TO4/B0+zV7tlvoilY/o5WVgzTdukiarIt8YfcVeQ==
In-Reply-To: <102l89g$qg0l$1@solani.org>

Hi,

Ok, I am not in a hurry:

 > In a method for presenting information,
 > an interactive document, for example, may
 > be created that includes both an input
 > expression and a result generated by
 > evaluating the input expression, and where
 > the input expression can be selectively hidden.
 > https://patents.google.com/patent/US8407580

The fun thing will be the language will be
not Mathematica programming language, which was
inspired by term rewriting, basically a

term rewriting engine without Knuth Bendix
completion. Instead it will be run by the
Prolog programming language. Again a pragmatic

approach to logic without completness.
Isn't that an amazing perspective?

LoL

Bye

Mild Shock schrieb:
> Already Mathematica didn't have Run Buttons
> in their Notebooks in 1988, just press return:
> 
> https://www.wolfram.com/notebooks/index.php.de?source=footer
> 
> Same for creating new cells, if I am not mistaken
> and remember well, if one was at the end of a Notebook,
> 
> again the return key creates a new cell. Also no
> Python Jupyter Nonsense, primarily executed at the
> 
> client side and not create via server roundtips.
> 
>