1. Forum
  2. Usenet
  3. COMP.LANG.PROLOG

  • Theodore W. Gray Patent: 2029-01-09 Adjusted expiration (Was: Biggest N

    From Mild Shock@21:1/5 to Mild Shock on Sun Jun 15 03:50:55 2025
    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.



    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Mild Shock on Sun Jun 15 04:04:46 2025
    Hi,

    So they came up with a patent already in 2012:

    Programming in a precise syntax using natural language https://patents.google.com/patent/US9851950B2

    Is it not ChatGPT because ChatGPT doesn't show some
    "precise syntax" interpretation of the NL language input?

    Bye

    P.S.: Google Gemini gives me:

    Q: What is the integral of sin(x)/x from -pi to pi

    A: a lot of precise mathML and ultimately:

    Therefore, for your original integral: ≈3.7038

    Conclusions: Either the patent is ignored,
    or they get a penny for every nickel that
    Google earns with Gemini Pro.

    Mild Shock schrieb:
    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.




    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Julio Di Egidio@21:1/5 to Mild Shock on Sun Jun 15 09:29:59 2025
    On 15/06/2025 04:04, Mild Shock wrote:

    So they came up with a patent already in 2012:

    << The conceptual step of converting an abstract
    representation (design or specification) of a software
    system, into a more concrete representation in the form
    of program code. >>

    "Already" in 2012? That's the most ridiculous as well
    as the least original "invention" I have ever seen...

    -Julio

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Julio Di Egidio@21:1/5 to Julio Di Egidio on Sun Jun 15 09:36:50 2025
    On 15/06/2025 09:29, Julio Di Egidio wrote:
    On 15/06/2025 04:04, Mild Shock wrote:

    So they came up with a patent already in 2012:

    << The conceptual step of converting an abstract
    representation (design or specification) of a software
    system, into a more concrete representation in the form
    of program code. >>

    "Already" in 2012?  That's the most ridiculous as well
    as the least original "invention" I have ever seen...

    Talking about this:

    Stephen Wolfram, Theodore W. Gray,
    "Programming in a precise syntax using natural language" <https://patents.google.com/patent/US9851950B2>

    And the whole cosmos is a computer system, of course!
    They just cannot yet figure out who pays the bill...

    Get the fuck out of here.

    *Plonk*

    -Julio

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mild Shock@21:1/5 to Julio Di Egidio on Sun Jun 15 13:52:45 2025
    Hi,

    Maybe there is a strategy involved delaying
    a start up and patents, until some stuff becomes hot.

    Or delaying stuff until the required hardware
    becomes affordable to everybody. Not an issue

    for ChatGPT since it is anyway client server.
    But you find GUIs for math symbolic systems

    basically derived from REDUCE in the dozens!

    The development of REDUCE was started in 1963 by
    Anthony C. Hearn; since then, many scientists from
    all over the world have contributed to its development.
    REDUCE was open-sourced in December 2008 and is
    available for free under a modified BSD license
    on SourceForge. Previously it had cost $695. https://en.wikipedia.org/wiki/Reduce_%28computer_algebra_system%29

    Bye

    Julio Di Egidio schrieb:
    On 15/06/2025 04:04, Mild Shock wrote:

    So they came up with a patent already in 2012:

    << The conceptual step of converting an abstract
    representation (design or specification) of a software
    system, into a more concrete representation in the form
    of program code. >>

    "Already" in 2012?  That's the most ridiculous as well
    as the least original "invention" I have ever seen...

    -Julio


    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)