Path: ...!feeds.phibee-telecom.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: Scryer Prolog has dethroned SWI-Prolog (Was: *** 2025 Prolog Awards
 ***)
Date: Mon, 26 May 2025 12:22:13 +0200
Message-ID: <1011fck$a9rv$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 26 May 2025 10:22:13 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="337791"; 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:wOdFiRCycOTQxAfVLJSIXc9Zyhg=
X-User-ID: eJwFwYEBwDAEBMCVSPA1jnr2HyF3fkOjYeFhvr6p0ALnyForWBzLbC8dlcRXSsp/EkSSwUC3Fe+docjWA16mFlA=
In-Reply-To: <100v02i$93oj$1@solani.org>
Bytes: 2186
Lines: 47

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