Deutsch   English   Français   Italiano  
<1011fub$aab8$1@solani.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!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: Nevertheless I have bad news for Prolog (Was: Scryer Prolog has
 dethroned SWI-Prolog)
Date: Mon, 26 May 2025 12:31:40 +0200
Message-ID: <1011fub$aab8$1@solani.org>
References: <vsj1an$m6gi$1@solani.org> <vsj1k3$m6op$1@solani.org>
 <vsj227$m717$1@solani.org> <vsrm16$qfne$1@solani.org>
 <100v02i$93oj$1@solani.org> <1011fck$a9rv$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 26 May 2025 10:31:39 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="338280"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:CvlHOopxixp/uc6cC2Dr/6SBSBY=
In-Reply-To: <1011fck$a9rv$1@solani.org>
X-User-ID: eJwFwQcBwEAIBDBL7CEH7ot/CU1cgwNp4WF+fuOzZqBWUbnqaz1Lgs0Q79eIKlqaJysTGYlmpKLhZPP4B00AFVM=

Hi,

But doing the obvious right, is only solid engineering,
it doesn't lead to this advertisement:

testbed for bleeding edge research in logic and constraint programming
https://github.com/mthom/scryer-prolog

Also I doubt that this leads to anywhere, since we
live in a new era of subsymbolic AI and generative AI,
mostlikely pushing the boundaries of some symbolic pipe

dreams which have been anyway invalidated by computational
complexity research, without offering something really
innovative, i.e. only copy pasting SWI-Prolog including

nonsense like libray(sgml) mostlikely leads to nowhere.

Bye

Mild Shock schrieb:
> Hi,
> 
> Interestingly Scryer Prolog does many things right.
> I find the following test case:
> 
> /* Scryer Prolog 0.9.4-403 */
> ?- length(L,2), f(L) = R, S = [_A].
> L = [_B, _C],
> R = f([_B, _C]),
> S = [_A].
> 
> While SWI-Prolog still makes the following error. The
> newly generated _A and _B are not checked whether they
> already appear in the answer elsewhere, causing a name clash:
> 
> /* SWI-Prolog 9.3.22 */
> ?- length(L,2), f(L) = R, S = [_A].
>   = [_A, _B],
> R = f([_A, _B]),
> S = [_A].
> 
> Other Prolog systems that avoid the clash as well are
> Trealla Prolog, and since today Dogelog Player.
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> It is time for the 2025 Prolog Awards.
>> Are you excited yet?
>>
>> https://9gag.com/gag/aPAXyEP
>>
>> Here is the list:
>>
>> 1. Place: Scryer Prolog, it uses rustyline,
>> very convenient:
>>
>> app<tab>     gives append
>> a<tab><tab>  cycles through letter a predicates
>> length(foo)  shows the matching braket in blue
>> Etc..
>>
>> -1. Place: SWI-Prolog, has no line edit at all
>>
>> Bye
>