Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #14549

Theodore W. Gray Patent: 2029-01-09 Adjusted expiration (Was: Biggest Nonsense are Run Buttons in SWISH Notebooks)

Show all headers | View raw

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.
> 
> 

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Biggest Nonsense are Run Buttons in SWISH Notebooks Mild Shock <janburse@fastmail.fm> - 2025-06-15 03:40 +0200
  Theodore W. Gray Patent: 2029-01-09 Adjusted expiration (Was: Biggest Nonsense are Run Buttons in SWISH Notebooks) Mild Shock <janburse@fastmail.fm> - 2025-06-15 03:50 +0200
    Looks like they patented ChatGPT style in 2012 (Was: Theodore W. Gray Patent: 2029-01-09 Adjusted expiration) Mild Shock <janburse@fastmail.fm> - 2025-06-15 04:04 +0200
      Re: Looks like they patented ChatGPT style in 2012 Julio Di Egidio <julio@diegidio.name> - 2025-06-15 09:29 +0200
        Re: Looks like they patented ChatGPT style in 2012 Julio Di Egidio <julio@diegidio.name> - 2025-06-15 09:36 +0200
        REDUCE 1963 (Was: Looks like they patented ChatGPT style in 2012) Mild Shock <janburse@fastmail.fm> - 2025-06-15 13:52 +0200
          Best of both worlds / Franz Lisp GI/S (Was: REDUCE 1963) Mild Shock <janburse@fastmail.fm> - 2025-06-15 13:54 +0200
            Why forrays into web 2.0 are slow (Was: Best of both worlds / Franz Lisp GI/S) Mild Shock <janburse@fastmail.fm> - 2025-06-15 14:02 +0200
              Waste of time Java (not JavaScript) for Web (Was: Why forrays into web 2.0 are slow) Mild Shock <janburse@fastmail.fm> - 2025-06-15 14:10 +0200

csiph-web