The Mercury logic programming system

Re:The Mercury logic programming system by ElectroSlayer on Tuesday May 19, 2026 @10:18PM (#48202312)

Oh 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.

[ Parent | on HN ]

Re:The Mercury logic programming system by zeafoamrun on Wednesday May 20, 2026 @03:57AM (#48204514)

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.

[ Parent | on HN ]

Re:The Mercury logic programming system by angry_octet on Wednesday May 20, 2026 @08:48AM (#48206812)

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.

[ Parent | on HN ]

Re:The Mercury logic programming system by ofrzeta on Wednesday May 20, 2026 @09:04AM (#48207030)

Is it the same model as the "Bologna process" in Europe, which is kind of funny because "Bologna" also refers to a type of sausage in the US of A.

[ Parent | on HN ]

Re:The Mercury logic programming system by angry_octet on Wednesday May 20, 2026 @08:42AM (#48206758)

I hope he's stopped drinking Fanta.

[ Parent | on HN ]