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

Liste des GroupesRevenir à l prolog 
Sujet : Re: 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, 15:49:32
Autres entêtes
Message-ID : <v9fo9b$166p1$2@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
The time complexity of a look ahead
parser with one word token look ahead and
one character look ahead, and Prolog code
that is optimized towards clauses that
use first argument indexing, you can view
it as a kind of table driven parser with
push down, althought its Prolog, should be only
O(N+M), where N=number of characters and M=number of
words. It has linear complexity and not
something else. In 1965 Donald Knuth proposed
LR(k) parser, which are bottom up, but the idea
here is LL(k) parser, which are top down.
Both parsing algorithms run in linear time.
Mild Shock schrieb:
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?]22Mild Shock
1 Aug 24 +* Alan Kay's Dynabook fueled by Prolog? (Was: Holy Grail makes People Disappear)2Mild Shock
1 Aug 24 i`- ZebralLogic for evaluating LLMs (Was: Alan Kay's Dynabook fueled by Prolog?)1Mild Shock
1 Aug 24 +* Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]3Mild Shock
1 Aug 24 i`* Biene Maya (Was: Holy Grail makes People Disappear)2Mild Shock
2 Aug 24 i `- A Challenge for Fixpoint Lovers (Was: Biene Maya)1Mild Shock
9 Aug 24 +* Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)15Mild Shock
10 Aug 24 i+* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)8Mild Shock
10 Aug 24 ii`* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)7Mild Shock
10 Aug 24 ii `* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)6Mild Shock
10 Aug 24 ii  `* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)5Mild Shock
10 Aug 24 ii   `* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)4Mild Shock
10 Aug 24 ii    `* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)3Mild Shock
10 Aug 24 ii     `* Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)2Mild Shock
10 Aug 24 ii      `- Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)1Mild Shock
11 Aug 24 i+* The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)4Mild Shock
11 Aug 24 ii`* Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)3Mild Shock
11 Aug 24 ii `* Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)2Mild Shock
11 Aug 24 ii  `- Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)1Mild Shock
13 Aug 24 i`* How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)2Mild Shock
13 Aug 24 i `- Re: How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?)1Mild Shock
13 Aug 24 `- Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?]1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal