ISO is loosing it because it gives in to Teachers
From
Mild Shock@21:1/5 to
All on Tue Jun 24 01:38:29 2025
Hi,
ISO is loosing it because it gives in to Teachers.
GUPU from Ulrich Neumerkel is also a Teaching project.
Notebooks can be also viewed as a Teaching project.
Still there were once rumors that Prolog was used
in Industry. But this was long long ago, and these
roots are possibly totally gone.
I don't believe anybody is using CLP or s(CASP).
Or CLP(Z) from Scryer Prolog. Also the USA
compiler builders are total cluless about logic,
and USA is dominant when it comes to compiler
builder. Take the dissertation of
Combining Analyses, Combining Optimizations
Clifford Noel Click, Jr. - February, 1995
He does't know a bit how conditional constant
propagation relates to logic.
Bye
P.S.: Compiler builders never had a formal education
in mathematical logic. Not enough time. They
were always busy in guzzling in machine code
operations, building highly sophisticated tables
that describe the machine code operations and
building simlarly highly sophisticated backends,
that are sniffing these tables. You don't find
such People in Prolog anymore. Somebody that
knows aassembly, just like Linus Torwald started...
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)