The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)

Liste des GroupesRevenir à cl prolog 
Sujet : The naive reverse reality check (Was: Is Scryer Prologs failure measurable?)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 11. Aug 2024, 11:03:04
Autres entêtes
Message-ID : <v99uo8$12eip$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
But Scryer Prolog must nevertheless have somewhere
some good genes. Even it posted about a Prolog compiler
written in Prolog itself. Lets make some reality check:
/* Ichiban Prolog */
real    0m39.635s
user    0m59.684s
sys     0m7.891s
/* Dogelog Player for Java */
?- time((between(1,6001,_), nrev, fail; true)).
% Zeit 588 ms, GC 0 ms, Lips 5113263, Uhr 11.08.2024 10:47
true.
/* Trealla Prolog */
?- time((between(1,6001,_), nrev, fail; true)).
% Time elapsed 0.549s, 3000503 Inferences, 5.468 MLips
    true.
/* Scryer Prolog */
?- time((between(1,6001,_), nrev, fail; true)).
    % CPU time: 0.302s, 3_024_526 inferences
    true.
/* SWI-Prolog */
?- time((between(1,6001,_), nrev, fail; true)).
% 2,994,499 inferences, 0.078 CPU in 0.089 seconds (88% CPU, 38329587 Lips)
true.
Dogelog Player has a Prolog compiler written in
Prolog itself. But the limiting factor is of course
always the runtime engine itself, that executes the
compiled code. You can inline and optimize whatever
you want, if the runtime engine, its architecture,
has some limitations performance wise, you won't
see aby speed. I don't know yet whether I will beat
SWI-Prolog in this test case ever in the near future?
Especially with some cheap effort?
Mild Shock schrieb:
 Just look at GitHub issues and sort by "recent update".
I get for the last week the following figures:
 - New tickets: 7 new tickets
- Closed tickets: 2 closed tickets
 To get a turn around you the the 2nd number bigger
that the 1st number, and not the other way around.

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