1 janv. 1983 - Mercury

Description:

Los lenguajes el de programación de lógica han estado alrededor por más de veinte años. A pesar de las ventajas previstas de un lenguaje el de programación muy de alto nivel basado sobre teorías bien desarrolladas de la lógica sobre lenguajes de programación convencionales (tales como C, C++, Pascal y Ada) no han tenido impacto significativo en la industria del ordenador.

El Mercury es una nueva lógica/un lenguaje el de programación funcional, que combina la claridad y la expresividad de la programación declarativa con las características avanzadas de la detección del análisis estático y de error.

Mercury alto - el algoritmo optimizado de la ejecución entregará eficacia lejos superior a sistemas de programación existentes de lógica, y cerca de sistemas de programación convencionales.

El Mercury aborda los problemas del desarrollo de programa en grande, permitiendo modularidad, la compilación separada, y compensaciones numerosas de la optimización/del tiempo.