Last release was in 2023. It is effectively dead. This is a terrible shame, because this would have been an nice modern alternative to Prolog.
The Mercury logic programming system
11–20 of 24 posts
Re: The Mercury logic programming system
#12Last release was in 2023. It is effectively dead. This is a terrible shame, because this would have been an nice modern alternative to Prolog.
Re: The Mercury logic programming system
#13Earlier quoted context omitted.
Not that it necessarily applies here, but as a heuristic: https://en.wikipedia.org/wiki/Lindy_effect
Interesting point. My understanding of Mercury is that it is hard carried by Zoltan so it has a bus factor of 1.
Re: The Mercury logic programming system
#14Oh wow, Zoltan was one of my lecturers at UniMelb, and in one semester we were tasked with learning his Mercury language. So good to see it thriving still.
Re: The Mercury logic programming system
#15There are files in this repository that were last touched 32 years ago. Any reason to be posting it now?
Re: The Mercury logic programming system
#16Re: The Mercury logic programming system
#17Oh wow, Zoltan was one of my lecturers at UniMelb, and in one semester we were tasked with learning his Mercury language. So good to see it thriving still.
Re: The Mercury logic programming system
#18Oh wow, Zoltan was one of my lecturers at UniMelb, and in one semester we were tasked with learning his Mercury language. So good to see it thriving still.
I TA-ed for Zoltan's 2nd year "learning how to use bash/gdb/etc" class and it was a lot of fun. I hope they're still teaching that class.
Re: The Mercury logic programming system
#19Earlier quoted context omitted.
I TA-ed for Zoltan's 2nd year "learning how to use bash/gdb/etc" class and it was a lot of fun. I hope they're still teaching that class.
It was called "433-252 Software Engineering Principles & Tools" until ~2008 I think (433-244 before that) but then it seems to have been reorganised. Tbh, Unimelb Comp Sci is a shadow of it's former self, a victim of the 'Melbourne Model' common core sausage factory concept.