[namshe]

I will put in a plug for Mercury: https://mercurylang.org/

[vram22]

I read a while ago, when checking out Prince XML (a high-end HTML to PDF conversion tool), that is written using Mercury.

https://www.princexml.com/

[adastra22]

Wow, I haven’t heard about that language in a long time. What do you use it for?

[johnisgood]

Looks like Prolog.

I wonder what the major differences are.

[adastra22]

I guess it's like Prolog in the same sense that Rust is like C? It's a modern functional programing language that also supports logical programming. I never got a chance to actually code with it though.