Mercury

Mercury is a general-purpose, pure functional programming language with an emphasis on logic programming, developed by researchers at the University of Melbourne. While it is possible to write Mercury programs without any knowledge of logic programming, the language is designed to support programming in the declarative style of logical programming, in which programs are written as specifications of what the program should do, rather than as a sequence of steps to be followed. Mercury is designed to be efficient in both execution time and memory usage. It achieves this by strict type checking, static analysis and careful compilation to native code. The Mercury compiler is free and open source software, released under the GNU General Public License.