4 ms·
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 S
by jodrellblank 2y ago
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.
- derdi 2y ago> 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 https://news.ycombinator.com/item?id=42829782 ;-)
- LoneGeek 2y agoA practical example: Void Linux installer implemented in GNU Prolog (https://github.com/sdbtools/void-pi https://github.com/sdbtools/void-pi).