Path: ...!news.nobody.at!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: =?UTF-8?Q?Re:_The_longest_pregnancy_in_the_history_of_Prolog_~~>_DC?=
 =?UTF-8?Q?Gs_=28Was:_A_harsh_wind_is_blowing_into_the_face_of_Prolog_now?=
 =?UTF-8?B?4oCmKQ==?=
Date: Tue, 23 Jul 2024 10:18:39 +0200
Message-ID: <v7np0t$7k5p$1@solani.org>
References: <v32hjd$s3qh$1@solani.org> <v7nneb$7j95$1@solani.org>
 <v7nnfu$7j95$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 23 Jul 2024 08:18:38 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="250041"; 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:KLbsSKA4TK/bce4vzeYQ38AOfCo=
X-User-ID: eJwFwYEBwCAIA7CXAFuY50iV/09YwpWeKiQTHM6KEi0KrvYoq2s4MPR4SN8mZ+YSHX5a6nWiXnK7ttvj/DgrFUc=
In-Reply-To: <v7nnfu$7j95$2@solani.org>
Bytes: 4078
Lines: 85


Scryer Prolog is not the only dead Prolog around.
Like 12 months ago or so, I mentioned in passing
to @joseph-vidal-rosset , because he used Tau Prolog

on his web site, that Tau Prolog will be dead as soon
as the authors get their academic merits. And I guess
this is indeed the case, their GitHub is inactive

for at least 12 months now. But then some people still
include it in their testing, maybe this is a sign of a little
desperation, of finding Prolog system interested

in ISO nonsense?

Modified: Samstag, 6. Juli 2024, 07:53:05
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase

The main problem with ISO Prolog is, that it is not
enough reduced to the max.


Mild Shock schrieb:
> 
> P.S.: Only providing shallow expansion is no a loss.
> You can use it to bootstrap deep expansion, I do
> that in a stashed version of formerly Jekejeke Prolog,
> 
> as a proof of concept. So basically you can bootsrap
> ISO-Core from Novacore in many cases. Also if DCG with
> deep expansion would enter ISO-Core.
> 
> Novecore is just the smaller core than ISO-core.
> Novacore is Prolog reduced to the max.
> 
> Mild Shock schrieb:
>> Woa! They are still fiddling with DCG:
>>
>> Modified: Samstag, 6. Juli 2024, 07:53:05
>> https://www.complang.tuwien.ac.at/ulrich/iso-prolog/phrase
>>
>> For Dogelog Player and its Novacore, I have
>> invented shallow DCG transform. Shallow expansion is a
>> variant of the usually deep expansion, in that
>>
>> we don't define a multi-file predicate:
>>
>> term_expansion(<from>, <to>).
>>
>> Which uses a result from goal expansion, i.e.
>> there is both term and goal expansion in deep expansion,
>> SWI-Prolog has even function expansion a third type of
>>
>> expansion, but in shallow expansion we have only:
>>
>> term_conversion(<from>, <to>).
>>
>> In particular for performance and didactical
>> reasons Novacore from Dogelog Player has nothing
>> higher-order. So phrase/2 is missing. Not needed.
>>
>> But I don't have test cases yet for this shallow
>> expansion. Maybe I could adapt a few from formerly
>> Jekejeke Prolog, trim them down to the scope of
>>
>> shallow expansion.
>>
>> Mild Shock schrieb:
>>> Especially since good old FORTRAN has
>>> made a new appearance:
>>>
>>> TIOBE Index for May 2024
>>> I have received a lot of questions why Fortran entered the top 10
>>> again after more than 20 years. The TIOBE index just publishes
>>> what has been measured.
>>> https://www.tiobe.com/tiobe-index/
>>>
>>> Why Fortran is back in TIOBE’s top 10
>>> First, Fortran is especially good at numerical analysis and
>>> computational mathematics. Numerical and mathematical
>>> computing is growing because interest in artificial intelligence
>>> is growing, Jansen told TechRepublic in an email.
>>> https://www.techrepublic.com/article/tiobe-index-may-2024/
>>
>