Mercury

Mercúrio é uma linguagem de programação de uso geral, puramente funcional, com ênfase na programação lógica, desenvolvida por investigadores da Universidade de Melbourne. Embora seja possível escrever programas Mercúrio sem qualquer conhecimento de programação lógica, a linguagem é concebida para apoiar a programação no estilo declarativo de programação lógica, em que os programas são escritos como especificações do que o programa deve fazer, e não como uma sequência de passos a serem seguidos. O mercúrio é concebido para ser eficiente tanto no tempo de execução como na utilização de memória. Consegue-o através de uma verificação rigorosa do tipo, análise estática e compilação cuidadosa a código nativo. O compilador Mercury é software livre e de código aberto, lançado sob a Licença Pública Geral GNU.