1
Scryer Prolog Meetup 2023 Notes (blog.adrianistan.eu)
submitted 9 months ago by aarroyoc@lemuria.es to c/prolog
top 2 comments
sorted by: hot top controversial new old
[-] bitcrafter 1 points 9 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@lemuria.es 2 points 9 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.

this post was submitted on 14 Nov 2023
1 points (66.7% liked)

Prolog

100 readers
1 users here now

A community for discussion of the Prolog programming language and related Logic Programming and Symbolic AI topics.

founded 1 year ago
MODERATORS