Sujet : Re: Is Scryer Prolog the Air Guitar of Prolog? (Was: A harsh wind is blowing into the face of Prolog now…)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prologDate : 24. Jul 2024, 22:21:26
Autres entêtes
Message-ID : <v7rno6$9sui$1@solani.org>
References : 1 2 3
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
Scryer Prolog's mentality can be seen here:
?- op(600, fy, []).
error(permission_error(create,operator,[]),op/3).
What they cannot solve, they simply forbid.
This mentality was already seen when UWN started
fiddling with '|' operator definition, and made
some hilarious changes to ISO core standard,
and some hilarious claims for DCG. In Novacore '|'
is simply nowhere used and undefined, but can be
defined. For DCG the usual (;)/2 is used for disjunction,
no need to use '|' in DCG. Now we have the situation
that Ciao Prolog can easily do this:
/* Segerberg Models */
:- op( 600, fy, !). % universal quantifier: ![X]:
:- op( 600, fy, ?). % existential quantifier: ?[X]:
:- op( 600, fy, []). % necessity
:- op( 600, fy, <>). % possibility
?- X = ! [Y]:p(Y).
X = ![Y]:p(Y) ?
?- X = [] p.
X = []p ?
But Scryer Prolog can do neither of it. Scryer
Prolog stumbles on op( 600, fy, !), it will
suddently not anymore accept clauses such as:
p :- q, !, r.
Which is easy to fix with a small parsing heuristic,
doesn't need non-deterministic parsing or some such.
Mild Shock schrieb:
Mostlikely Scryer Prolog was so bold with its
statements about its own future, like here:
Scryer Prolog aims to become to
ISO Prolog what GHC is to Haskell
https://github.com/mthom/scryer-prolog
Because according to Alan Key in this interview
this is the easier thing to do, than to judge
the present or the past.
Joe Armstrong interviews Alan Kay
https://www.youtube.com/watch?v=fhOHn9TClXY
Mild Shock schrieb:
>
Happy Birthday Alan Key, he must be 84 years old now.
I am big fan of his dynabook and this is also gold:
>
Alan Kay on Computer Science Degree
https://www.youtube.com/watch?v=Lb-cKVxmVGk
>
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/
>