Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Re: Is Scryer Prologs failure measurable? (Was: Holy Grail makes
 People Disappear)
Date: Sat, 10 Aug 2024 12:59:53 +0200
Message-ID: <v97h77$11m5e$1@solani.org>
References: <v8gc6e$l44p$1@solani.org> <v952rb$10h3e$1@solani.org>
 <v97f6r$11l7k$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 10:59:51 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1104046"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:63i67n5p/OlePsjO79doXkUpl70=
X-User-ID: eJwVjMERwDAIw1aCGkMyDk3i/Udo+tBHpxORnqsimUFRb0mDG8cKtR8O/laQdXK1ppsfsG8348hymgqEX+6hPllqFOo=
In-Reply-To: <v97f6r$11l7k$1@solani.org>
Bytes: 4549
Lines: 112

Hi,

Some folks from Scryer Prolog asked the following question:

 > Current plan is to compile WAM using Cranelift.
 > However, GC must be done first. Maybe Prolog in
 > the future could be used to analyze Prolog programs
 > and produce optimizations (Prolog compiler in Prolog?)
https://blog.adrianistan.eu/scryer-prolog-meetup-2023-notes/

There is no maybe, there is already a be, for both
GC and Prolog compiler in Prolog. But you have to start
with the idea, otherwise you probably cant make it.

Just take Dogelog Player, it has the following:

- Full Sweep Garbage Collector:
   In the major metronome tick.

- Incremental Garbage Collector:
   In the minor metronome tick.

- Read/Write 100% written in Prolog:
   From scanner to parser and unparse its all Prolog.

- Compiler Front End 100% written in Prolog:
   This is in albufeira.p, this is a little higher level
   code generator that compiles Prolog clauses, including
   the cut and if-then-else inlining, some constant term
   optimizations and body indexing optimizations.

- Compiler Back Ends 100% written in Prolog
   There are cross compiler back ends for JavaScript,
   Python and Java. And there is runtime back end,
   for the dynamic database and consult at runtime.
   The corresponding runtimes have cute neck optimization
   and last call optimization.

Bye

Mild Shock schrieb:
> Hi,
> 
> How many years does Scryer Prolog allocate to
> make a turn around? Lets say we have an explosion
> of new tickets at the beginning, so the new tickets
> 
> history might have this time functions, plus
> some parameters that scale it:
> 
> n(t) = 1 - exp(-t)
> 
> And lets say tickets are closed at a constant
> speed, like in this fuction:
> 
> c(t) = t
> 
> Again c(t) has some parameters not shown, to
> scale it. But essently the project is
> 
> completed when this one reaches zero:
> 
> f(t) = n(t) - c(t)
> 
> What can go wrong? Basically onec critical thing
> is c(t). If you don't have solutions or resources,
> c(t) might look very different, and a zero
> 
> might never be reached.
> 
> Bye
> 
> 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.
>>
>> Mild Shock schrieb:
>>> Hi,
>>>
>>> I remember Robert Stärk's disappearing from
>>> academic life at ETH Zurich all of a sudden.
>>> Did Ulrich Neumerkel now also disappeared not
>>>
>>> because the Scryer Prolog disaster, but after
>>> he figured out that failure slices are not hip
>>> enought? What could be more hip, are the modalities
>>>
>>> of Robert Stärk's logic more hip now and even useful?
>>>
>>> Automated Theorem Proving for Prolog Verification
>>> Fred Mesnard etc.. May 2024
>>> https://lim.univ-reunion.fr/staff/fred/Publications/24-MesnardMP-slides.pdf 
>>>
>>>
>>> Disclaimer: I am not deep into this theory,
>>> it has some ingredients that were floating around
>>> the 80's / 80's, not only in the millieau of ETH Zurich,
>>>
>>> but also in the vincinity of Gehard Jaeger, Bern.
>>> There are many alternative formalizations that
>>> can express termination etc.. But maybe LPTP is
>>>
>>> especially suited for Prolog?
>>
>