Mercury

Mercury es un lenguaje de programación funcional puro de propósito general, con énfasis en la programación lógica, desarrollado por investigadores de la Universidad de Melbourne. Aunque es posible escribir programas Mercury sin ningún conocimiento de programación lógica, el lenguaje está diseñado para soportar la programación en el estilo declarativo de la programación lógica, en el que los programas se escriben como especificaciones de lo que el programa debe hacer, en lugar de como una secuencia de pasos a seguir. Mercury está diseñado para ser eficiente tanto en tiempo de ejecución como en uso de memoria. Lo consigue mediante una estricta comprobación de tipos, un análisis estático y una cuidadosa compilación en código nativo. El compilador Mercury es software libre y de código abierto, publicado bajo la Licencia Pública General GNU.