Not only $TSLA is on fire sale! [The Decline of Prolog] (Was: "superhumaness" excels "stackoverflow reputation")

Hi,
Not only $TSLA is on fire sale! Also
Prolog system have capitualted long ago.
Scryer Prolog and Trealla Prolog copy
some old CLP(X) nonsense based on attributed
variables. SWI-Prolog isn't better off.
Basically the USA and their ICLP venue
is dumbing down all of Prolog development,
so that nonsense such as this is published:
Automatic Differentiation in Prolog
Schrijvers Tom et. al - 2023
https://arxiv.org/pdf/2305.07878
It has the most stupid conclusion.
"In future work we plan to explore Prolog’s meta-
programming facilities (e.g., term expansion) to
implement partial evaluation of revad/5 calls on
known expressions. We also wish to develop further
applications on top of our AD approach, such as
Prolog-based neural networks and integration with
existing probabilistic logic programming languages."
As if term expansion would do anything good
concerning the evaluation or training of neural
networks. They are totally clueless!
Bye
P.S.: The stupidity is even topped, that people
have unlearned how to do symbolic algebra
in Prolog itself. They are not able to code it:
?- simplify(x+x+y-y,E).
E = number(2)*x+y-y
 > Simplification is hard (IMO).
Instead they are now calling Python:
sym(A * B, S) :-
     !, sym(A, A1),
     sym(B, B1),
     py_call(operator:mul(A1, B1), S).
mys(S, A * B) :-
     py_call(sympy:'Mul', Mul),
     py_call(isinstance(S, Mul), @(true)),
     !, py_call(S:args, A0-B0),
     mys(A0, A),
     mys(B0, B).
Etc..
sympy(A, R) :-
     sym(A, S),
     mys(S, R).
?- sympy(x + y + 1 + x + y + -1, S).
S = 2*x+2*y ;
This is the final nail in the coffin, the declaration
of the complete decline of Prolog. Full proof that
SWI-Prolog Janus is indicative that we have reached
the valley of idiocracy in Prolog. And that there
are no more capable Prologers around.
Mild Shock schrieb:

Hi,
 Lets say I have to chose between pig wrestle with a
grammar nazi stackoverflow user with 100k reputation, or
to interact with ChatGPT that puts a lot of
 effort to understand the least cue I give, isn't
shot in to english only, you can also use it with
german, turkish, etc.. what ever.
 Who do I use as a programmimg companion, stackoverflow
or ChatGPT. I think ChatGPT is the clear winner,
it doesn't feature the abomination of a virtual
 prison like stackoverflow. Or as Cycorp, Inc has put
it already decades ago:
 Common Sense Reasoning – From Cyc to Intelligent Assistant
Doug Lenat et al. - August 2006
2 The Case for an Ambient Research Assistant
2.3 Components of a Truly Intelligent Computational Assistant
Natural Language:
An assistant system must be able to remember
questions, statements, etc. from the user, and
what its own response was, in order to understand
the kinds of language ‘shortcuts’ people normally use
in context.
https://www.researchgate.net/publication/226813714
 Bye
 Mild Shock schrieb:

>
Thats a funny quote:
>
"Once you have a truly massive amount of information
integrated as knowledge, then the human-software
system will be superhuman, in the same sense that
mankind with writing is superhuman compared to
mankind before writing."
>
https://en.wikipedia.org/wiki/Douglas_Lenat#Quotes
>