Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.prolog > #15036

War between Scryer Prolog and Ciao Prolog [9:0 Triska vs Hermenegildo] (Was: Who will win the new Prolog race? SWI or Scryer?)

Show all headers | View raw

Hi,

This wasn't clear to me. That there is a
veritable war going on between Scryer Prolog
and Ciao Prolog. One protagonist

being Markus Triska, famous by the "Power
of Prolog", and the other protagonist Manuel
V. Hermenegildo somehow backed by the

Prolog education group (PEG) and SWI ? So who
will win the war, and exercise world domaninance
in constraint logic programming, based

on bogus notions such as "pure Prolog", which
are inherently inconsistent? The war is
mainly fought over teaching materials distributed,

less over tangible systems and applications.
Currently I would say the clear winner is
Markus Triska with 9 adoptions:

- As of 2018, Norbert Zeh
- As of 2018, Andrej Bauer
- As of 2018, José A. Alonso Jiménez
- As of 2019, Adam Dingle
- As of 2019, Dylan Schwesinger
- As of 2020, Andrea Schwertner Charão
- As of 2020, Alejandro Guerra Hernández
- As of 2021, Ilkka Kokkarinen
- As of 2025, Wang-Zhou Dai
https://github.com/triska/the-power-of-prolog

So it currently stands at 9:0 for Triska
vs Hermenegildo.

Bye

Mild Shock schrieb:
> Hi,
> 
> Who will win the new Prolog race?
> SWI or Scryer? Is it enough that SWI-Prolog
> has teamed up with Ciao Prolog?
> 
> What about resources that really can
> code a Prolog systems. SWI-Prolog is
> now doomed to have professional moron
> 
> Julio Di Egidio on board. Not sure whether
> he will ever become a heavy committer to
> SWI-Prolog source. But who knows, we should
> 
> also give Julio Di Egidio a chance. My
> gut feeling at the moment:
> 
> - SWI-Prolog:
>    Pull Requests 10 Open / 560 Closed
> 
> - Scryer Prolog:
>    Pull Requests 40 Open / 751 Closed
> 
> In the past I would measure active committers.
> But the new "liveness" indicator of a Prolog
> system could be indeed Pull Requests.
> 
> So who will win?
> 
> P.S.: Data sources:
> 
> https://github.com/mthom/scryer-prolog/pulls
> 
> https://github.com/SWI-Prolog/swipl-devel/pulls
> 

Back to comp.lang.prolog | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-28 08:57 +0200
  The only problem is, Rust is shiiiit (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:01 +0200
    Recent hybrid: Python beats Rust (Was: The only problem is, Rust is shiiiit) Mild Shock <janburse@fastmail.fm> - 2025-09-28 09:13 +0200
  Trealla drastically beats Scryer [Jaffar's Algorithm] (Re: Who will win the new Prolog race? SWI or Scryer? Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:19 +0200
    Boris the Loris and the American Fuzzy Lop (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:54 +0200
      Was Boris living under a rock, how many Fuzzy Testing tools? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-09-29 12:59 +0200
        Not a Nazi-Retard, maybe a payed Troll on Putins payroll (Was: Was Boris living under a rock, how many Fuzzy Testing tools?) Mild Shock <janburse@fastmail.fm> - 2025-09-29 13:07 +0200
      Boris / EricGT: Why dont you tap into TAP? (Was: Boris the Loris and the American Fuzzy Lop) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:00 +0100
        Closing the abstract interpretation GAP (Re: Boris / EricGT: Why dont you tap into TAP?) Mild Shock <janburse@fastmail.fm> - 2025-11-18 23:12 +0100
    Fast, but not correct implementation (Was: Trealla drastically beats Scryer [Jaffar's Algorithm]) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:39 +0200
      Boris the Loris saw it all comming [Weak Prolog Community] (Was: Fast, but not correct implementation) Mild Shock <janburse@fastmail.fm> - 2025-09-30 21:53 +0200
  War between Scryer Prolog and Ciao Prolog [9:0 Triska vs Hermenegildo] (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-19 12:49 +0100
    Useless as the Thirty Years War / Generalized Facts (Was: War between Scryer Prolog and Ciao Prolog) Mild Shock <janburse@fastmail.fm> - 2025-11-19 13:11 +0100
  The Guerilla tactics of SWI are amazing: Shell India? (Was: Who will win the new Prolog race? SWI or Scryer?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:22 +0100
    The SWI7 exotism (dicts, etc..) has no value? (Was: The Guerilla tactics of SWI are amazing: Shell India?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 15:41 +0100
      My new TinyCLP is much faster [100% Prolog] (Was: The SWI7 exotism (dicts, etc..) has no value?) Mild Shock <janburse@fastmail.fm> - 2025-11-24 21:27 +0100
  Railgun CLP versus Scryer Prolog [Euler #30 Variant] (Was: Who will win the new Prolog race?) Mild Shock <janburse@fastmail.fm> - 2026-01-30 02:10 +0100

csiph-web