The 9th and 10th of November was the Scryer Prolog Meetup 2023 in Düsseldorf. As a Scryer Prolog user and contributor, I was very excited to go to this meeting. Now, I'm back at home and I can write here a report of what happened in this event with the notes I've taken.

  • bitcrafter@lemmy.sdf.orgEnglish
    1·
    7 months ago

    Hi! To be honest, I occasionally take a peek at Scryer Prolog, but it seems to have a lot of grand ambitions without showing a lot of progress towards meeting them; it’s hard to see why I should care about it compared to a very mature and full-featured system like SWI prolog.

    Since you say you are involved in this project, please take this opportunity to change my mind! :-)

    • aarroyoc
      OPEnglish
      1·
      7 months ago

      Honestly, if SWI Prolog serves your needs, use it! Scryer Prolog is still very rough on the edges. However, even with that, some things already make Scryer interesting, like string handling, which is more natural and integrates very well with DCGs, and standards compliance. Scryer passes all ISO syntax tests, and also is one of the few systems that implement dif/2, freeze/2, or even length/2 correctly according to the drafts (this was shown on the meetup, SWI for example failed on all those 3 things). Also, clpz is being developed only taking into account SICStus and Scryer, since they implement the same Attr Var interface (SWI has another one).

      I don’t agree that there’s no progress. Other Prolog systems were started in the 20th century and they received funding from universities or they’ve been commercial. Scryer has neither of those things. For the most part, it was developed in free time. It needs to form its own community of users that will improve the system. That’s why these kind of events are so positive in my opinion.