Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)

Liste des GroupesRevenir à l prolog 
Sujet : Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 10. Aug 2024, 13:32:53
Autres entêtes
Message-ID : <v97j54$11n9o$1@solani.org>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
Hi,
Generally I don't believe in things like
SWI-Prolog Janus Python integration. This
type of integration has the advantage
that SWI-Prolog can run in full speed,
on the other hand it has the disadvantage
that one cannot take advantage of Python async,
because SWI-Prolog itself has no async. I
am talking about the single threaded async here.
My experience single treaded async and multi-threaded
Prolog are quite different pairs of shoes. So
when doing the C# backend for Dogelog Player,
I will be faced again to provide a complete
async solution for the async part of Novacore.
Woa!
Bye
Mild Shock schrieb:
Hi,
 A few days age we improved the cross referencer,
to deal with the many target platforms. The
old cross referencer for example showed:
 xor/3        nova/Eval.java
              nova/eval.mjs
              nova/eval.py
 Meaning the evaluable function xor/3 is
available in Java, JavaScript and Python.
What we now do, we simply show:
 xor/3        nova/eval.*
 Soon the wildcard will mean C# as well,
and not only Java, JavaScript and Python.
Extending the proof of concept for Prolog
 compiler 100% written in Prolog itself.
 Bye

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