Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )

Liste des GroupesRevenir à cl prolog 
Sujet : Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 22. Jul 2024, 23:27:00
Autres entêtes
Message-ID : <v7mmbj$71vr$1@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
For example one Guru claimed?
 > Prolog were invented today, I think there would
 > be at least two significant differences:
 >
 > First, the type-testing predicates like atom/1,
 > integer/1 and compound/1 would (and should) throw
 > instantiation errors if their arguments are not
 > sufficiently instantiated.
 >
 > This is also what the original versions of Prolog
 > did. However, DEC 10 Prolog chose to replace instantiation
 > errors by silent failures, and this has been
 > perpetuated in the Edinburgh tradition for type tests
 > including the ISO standard.
https://www.quora.com/If-prolog-were-being-invented-today-with-no-concern-for-backward-compatibility-or-the-existing-standardization-how-would-it-differ-from-standard-prolog
I cannot verify any of the above nonsense.
First of all the term "DEC-10 Prolog" is ambigious:
DEC 10 Prolog 1975
https://www.softwarepreservation.org/projects/prolog/prolog/edinburgh/doc/Warren-Epilog_400_400-1975.pdf
DEC 10 Prolog 1982
https://userweb.fct.unl.pt/~lmp/publications/online-papers/DECsystem-10%20PROLOG%20USER%27S%20MANUAL.pdf
The DEC 10 Prolog 1975 looks very close to Prolog 0
with its french predicate names. There is not a simgle
atom/1, integer/1 equivalent that would throw an
instantiation error. Actually Prolog 0 didn't even
have some sort of exceptions, right?
Mild Shock schrieb:
Especially since good old FORTRAN has
made a new appearance:
 TIOBE Index for May 2024
I have received a lot of questions why Fortran entered the top 10
again after more than 20 years. The TIOBE index just publishes
what has been measured.
https://www.tiobe.com/tiobe-index/
 Why Fortran is back in TIOBE’s top 10
First, Fortran is especially good at numerical analysis and
computational mathematics. Numerical and mathematical
computing is growing because interest in artificial intelligence
is growing, Jansen told TechRepublic in an email.
https://www.techrepublic.com/article/tiobe-index-may-2024/

Date Sujet#  Auteur
22 Jul 24 * Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )3Mild Shock
22 Jul 24 `* Re: Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )2Mild Shock
22 Jul 24  `- Re: Can we trust the Scryer Prolog Gurus? (Was: A harsh wind is blowing into the face of Prolog now… )1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal