Mercury is a modern general-purpose logic/functional programming language
