Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > comp.lang.prolog > #14143

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

From Mild Shock <janburse@fastmail.fm>
Newsgroups comp.lang.prolog
Subject Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear)
Date 2024-08-10 13:19 +0200
Message-ID <v97icn$11mpq$1@solani.org> (permalink)
References (1 earlier) <v952rb$10h3e$1@solani.org> <v97f6r$11l7k$1@solani.org> <v97h77$11m5e$1@solani.org> <v97het$11mct$1@solani.org> <v97i30$11mn6$1@solani.org>

Show all headers | View raw


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

Mild Shock schrieb:
> Hi,
> 
> The C# backend was already planned 3
> years ago. But then we gave priority to
> a Python backend.
> 
> But Python is the worst language on this
> planet. Their module approach doesn't
> really have export modifiers.
> 
> Nevertheless they top TIOBE:
> 
> Highest Position (since 2001): #1 in Aug 2024
> https://www.tiobe.com/tiobe-index/python/
> 
> Superficially even Prolog has a better
> module system, although export restrictions
> are not enforced, you can pretend to do exports,
> 
> via the module/2 directive. After we
> completed the Python backend, we recently
> did the Java backend. But this was not
> 
> only done for the benefit of Java, but
> also as an intermediate step for the C#
> backend. We are pretty close to that
> 
> everything has stabilized, and it would
> be a good timing to do the C# backend then.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Currently I wish to add a C# sharp backend,
>> and also show some Unity integration.
>>
>> But I am facing some health problems, some
>> nasty virus infection, which still persists
>>
>> a little bit. Either I will be able to do
>> it in 2024, or you wont here anything
>>
>> from me anymore...
>>
>> LoL
>>
>> Bye

Back to comp.lang.prolog | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?] Mild Shock <janburse@fastmail.fm> - 2024-08-01 18:13 +0200
  Alan Kay's Dynabook fueled by Prolog? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-01 18:20 +0200
    ZebralLogic for evaluating LLMs (Was: Alan Kay's Dynabook fueled by Prolog?) Mild Shock <janburse@fastmail.fm> - 2024-08-01 18:24 +0200
  Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?] Mild Shock <janburse@fastmail.fm> - 2024-08-01 19:21 +0200
    Biene Maya (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-01 22:26 +0200
      A Challenge for Fixpoint Lovers (Was: Biene Maya) Mild Shock <janburse@fastmail.fm> - 2024-08-02 08:03 +0200
  Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-09 14:42 +0200
    Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 12:25 +0200
      Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 12:59 +0200
        Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:03 +0200
          Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:14 +0200
            Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:19 +0200
              Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:32 +0200
                Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:41 +0200
                Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes People Disappear) Mild Shock <janburse@fastmail.fm> - 2024-08-10 13:46 +0200
    The naive reverse reality check (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-11 11:03 +0200
      Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-11 11:05 +0200
        Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-11 11:19 +0200
          Re: The naive reverse reality check (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-11 14:03 +0200
    How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-13 15:48 +0200
      Re: How Scryer Prolog became the disgrace of Computer Science (Was: Is Scryer Prologs failure measurable?) Mild Shock <janburse@fastmail.fm> - 2024-08-13 15:49 +0200
  Re: Holy Grail makes People Disappear [like Robert Staerk, now Ulrich Neumerkel?] Mild Shock <janburse@fastmail.fm> - 2024-08-13 09:08 +0200

csiph-web