How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)

Sujet : How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 13. Aug 2024, 14:48:16

Autres entêtes

Message-ID : <v9fo70$166p1$1@solani.org>
References : 1 2
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2

I can make a case of such a comparison,
DCG pipe dream versus proper look-ahead:
/* Scryer Prolog 0.9.4-135 */
?- time((between(1,1000,_), data(X), json_chars(Y,X,[]), fail; true)).
% CPU time: 0.283s, 2_506_022 inferences
true.
/* SWI-Prolog 9.3.8 */
?- time((between(1,1000,_), data(X), atom_json_term(X,Y,[]), fail; true)).
% 44,998 inferences, 0.016 CPU in 0.006 seconds (281% CPU, 2879872 Lips)
true.
I think the speed difference of a factor
20x is not because of native float parsing.
The example doesn’t have much float:
data("{ \"a\":123 }").
So whats the bug in the DCG parser by
Scryer Prolog? Why does the parser written by
Jan W. not have the same defect?
Why does the number of inferences differ so much?

Date	Sujet	#	Auteur
1 Aug 24	Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]	22	Mild Shock
1 Aug 24	Alan Kay's Dynabook fueled by Prolog? (Was: Holy Grail makes People Disappear)	2	Mild Shock
1 Aug 24	ZebralLogic for evaluating LLMs (Was: Alan Kay's Dynabook fueled by Prolog?)	1	Mild Shock
1 Aug 24	Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]	3	Mild Shock
1 Aug 24	Biene Maya (Was: Holy Grail makes People Disappear)	2	Mild Shock
2 Aug 24	A Challenge for Fixpoint Lovers (Was: Biene Maya)	1	Mild Shock
9 Aug 24	Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	15	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	8	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	7	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	6	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	5	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	4	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	3	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	2	Mild Shock
10 Aug 24	Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)	1	Mild Shock
11 Aug 24	The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)	4	Mild Shock
11 Aug 24	Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)	3	Mild Shock
11 Aug 24	Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)	2	Mild Shock
11 Aug 24	Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)	1	Mild Shock
13 Aug 24	How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)	2	Mild Shock
13 Aug 24	Re: How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)	1	Mild Shock
13 Aug 24	Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]	1	Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal