Scryer Prolog has dethroned SWI-Prolog (Was: *** 2025 Prolog Awards ***)

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