Mercury (lenguaje)

Mercury es un lenguaje de programación lógico-funcional, es decir, integra ""soluciones puras"" y computación con información parcial.