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