Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lenguaje de Programación Mercury, image, image, image, image, image, image…
Lenguaje de Programación Mercury
Es un lenguaje de programación lógico-funcional
Integra soluciones puras y computación con información parcial.
Combina la claridad y la expresividad de la programación declarativa con funciones avanzadas de análisis estático y detección de errores.
Características
Tiene un fuerte sistema de determinismo
Tiene garbage collector
El compilador genera código muy eficiente
Su compilador facilita el análisis estático y la optimización de código
Es puramente declarativo, los predicados y funciones en Mercury siempre obtienen conclusiones lógicas
Soporta modos
Variedad de lenguajes de destino
Mercury se basa en el lenguaje de programación lógica Prolog .
Nivel de Producción
Alto nivel C
Java
C de bajo nivel para GNU Compiler Collection (GCC), el back-end original de Mercury
C#
Erlang
Tipo de datos
Determinismo
Mediante categorias usando predicados
det
nondet
multi
failure
semidet
Ejemplos
Integer
Int
Char
Bool
Compatible para plataformas
Similares a Unix
Linux
Plataformas Unix
macOS
Windows
Carlos Daniel Rivera Gómez
http://www.it.uc3m.es/jvillena/irc/practicas/estudios/Lenguajes_Logicos.pdf
https://hmong.es/wiki/Mercury_(programming_language
)
