Path: ...!feeds.phibee-telecom.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.physics
Subject: Not only $TSLA is on fire sale! [The Decline of Prolog] (Re: How To
 Uninstall your Dooms Day Brain)
Date: Fri, 14 Mar 2025 13:42:51 +0100
Message-ID: <vr1888$1fbek$4@solani.org>
References: <vn98q6$ie21$4@solani.org> <vniq55$o4ch$4@solani.org>
 <vnj5uk$oo6g$2@solani.org> <vnj63s$oo6g$3@solani.org>
 <vnjjgf$p3mk$1@solani.org> <vnk8p0$pfap$3@solani.org>
 <vnli97$pl6q$1@solani.org> <vnlk7r$qatt$2@solani.org>
 <vnlkmd$qatt$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 14 Mar 2025 12:42:49 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1551828"; 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.20
Cancel-Lock: sha1:baifbXvg0k9NC2GwzTRr57K2n20=
In-Reply-To: <vnlkmd$qatt$3@solani.org>
X-User-ID: eJwNxtERADEEBcCWEI9TDkL/JVxm9mNxjK1dDaZYLO23TpffSoXP1KQXyW3JcYRNRjxdlqnyUas0Qh1rfIt/YdcVvA==
Bytes: 3717
Lines: 93

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.

Physfitfreak schrieb:
> On 2/1/25 11:04 AM, Physfitfreak wrote:
>> On 2/1/25 10:31 AM, Mild Shock wrote:
>>> i,
>>>
>>> Just follow the steps here:
>>>
>>> How To Uninstall your Dooms Day Brain
>>> https://www.youtube.com/watch?v=bKgf5PaBzyg
>>
>>
>> Bitcoin has gone tenth of the way he had predicted. I will reach there 
>> as Dollar dives after BRICS introduces its own currency.
>>
>>
> 
> 
> What happens to Swiss banks when USA sanctions Dollar and Euro 
> transactions with Europe. What if BRICS won't accept you in?
> 
>