Mercury is a modern general-purpose logic/functional programming language
https://www.mercurylang.org/index.html