News for hackers. Stuff that matters.
Re:The Simplicity of Prolog by jodrellblank on Sunday January 26, 2025 @03:11PM (#42833569)
I wish not every Prolog discussion had a top comment about Mercury, Curry, Minikanren, et al; but I think you missed the end of my comment where I recommended SWI over Scryer for most people; I am unashamedly a Markus Triska fanperson but that doesn't mean I do everything he does, or that I subscribe to ISO Purity over all else. It was more that the parent comment claimed a "friction between two people" and I think that's unfair and leaves readers expecting soap opera drama where someone insulted someone's mother; whereas it is a difference of opinion about language compatibility and standards - and once you know that you can decide whether it matters to you and your potential use cases (which, again, it doesn't to me and I think it doesn't to anyone who hasn't touched Prolog before).

I am not aware of any practical applications which have broken, but then I'm not aware of anyone using Prolog for anything, anywhere.

Re:The Simplicity of Prolog by derdi on Sunday January 26, 2025 @04:18PM (#42834236)
> I wish not every Prolog discussion had a top comment about Mercury, Curry, Minikanren, et al

Absolutely. Datalog too.

> but I think you missed the end of my comment where I recommended SWI over Scryer for most people

I did not miss that. I have no complaints about that part of your comment. I complained about the prologue to it, which I thought was beside the point and devalued the whole thing.

> but then I'm not aware of anyone using Prolog for anything, anywhere.

Fortunately, other Triska fans have got you covered with the standard talking points: https://news.ycombinator.com/item?id=42829782 ;-)

Re:The Simplicity of Prolog by LoneGeek on Sunday January 26, 2025 @04:58PM (#42834592)
A practical example: Void Linux installer implemented in GNU Prolog (https://github.com/sdbtools/void-pi).