Ir al contenido principal

Mercury: un lenguaje de programación lógico-funcional

Imagen
De Beta

Mercury es un lenguaje de programación lógico-funcional diseñado para aplicaciones de alta confiabilidad. Combina la expresividad de Prolog con un sistema de tipos estático, análisis de modos e inferencia de determinismo.

Desarrollado en la Universidad de Melbourne (Australia) por Zoltan Somogyi, Thomas Conway y Fergus Henderson a mediados de los años 90.

A diferencia de Prolog, Mercury está compilado y produce código de máquina eficiente.

Su paradigma es lógico, funcional y declarativo.

¿Para qué sirve?

Es ideal para:

  • Para programas que requieren razonamiento lógico complejo, como sistemas expertos, análisis simbólico, verificación formal y compiladores. 
  • En investigación académica y en proyectos donde la corrección y optimización son críticas.

Su compilador genera código eficiente en C o directamente en LLVM, permitiendo alto rendimiento.

Relación con Prolog

  • Mercury hereda la semántica lógica de Prolog (basada en resolución y unificación). 
  • Usa predicados y cláusulas como Prolog, pero con tipado estático, determinismo explícito y análisis de modos. 
  • Se puede considerar una evolución de Prolog, orientada a la seguridad y optimización.

Comparativa entre Mercury y Prolog

Comparativa entre Mercury y Prolog
Aspecto Prolog Mercury
Paradigma Lógico puro Lógico‑funcional con tipado estático
Tipado Dinámico Estático y fuerte
Determinismo Implícito Explícito (debe declararse)
Eficiencia Interpretado o compilado con menor optimización Compilado a C/LLVM con optimizaciones avanzadas
Errores en tiempo de ejecución Más frecuentes por falta de tipos Detectados en compilación
Sintaxis Más simple y flexible Más estricta y formal
Inferencia de tipos No disponible Automática y segura
Uso principal Prototipado rápido, IA simbólica Aplicaciones lógicas grandes y seguras
Origen Década de 1970 (Colmerauer, Kowalski) Década de 1990 (Somogyi, Conway, Henderson)

Instalando Mercury

Para descargarlo debemos ir a este sitio: https://www.mercurylang.org/download.html

En caso de no querer instalarlo, puedes probarlo desde este sitio: https://glot.io/new/mercury

¿Qué puedes programar en Mercury?

Los tipos de programas que puedes desarrollar en Mercury se caracterizan por necesitar razonamiento lógico complejo, seguridad en el tipado y eficiencia en ejecución. Veamos algunas cosas que se podrían hacer con este lenguaje:

  • Sistemas expertos y de inferencia lógica.   Ejemplo: motores de reglas para diagnóstico médico, asesoría legal o análisis financiero. 
  • Compiladores y herramientas de análisis de código. Gracias a su tipado fuerte y análisis de modos, Mercury es ideal para escribir parsers, analizadores semánticos y transformadores de código. 
  • Verificación formal y model checking. Programas que requieren demostrar propiedades matemáticas de sistemas, como verificar que un protocolo de comunicación cumple ciertas reglas. 
  • Aplicaciones de inteligencia artificial simbólica Similar a Prolog, puedes construir sistemas de razonamiento, planificación y resolución de problemas basados en lógica. 
  • Procesamiento de datos estructurados.   Mercury puede manejar transformaciones complejas de datos (XML, JSON, etc.) con seguridad y eficiencia.
  • Investigación académica y proyectos experimentales. Lenguaje usado en papers y prototipos donde se busca combinar declaratividad con rendimiento.

Programando en Mercury

Miremos algunos ejemplos.

Ejemplo 1. El clásico "Hola, mundo" en Prolog y Mercury.

En Prolog:

holamundo.pl

% holamundo.pl
main :-
    write('Hola, mundo'), nl.

En Mercury:

holamundo.m

% holamundo.m
:- module holamundo.
:- interface.
:- import_module io.

:- pred main(io::di, io::uo) is det.

:- implementation.

main(!IO) :-
    io.write_string("Hola, mundo\n", !IO).

Compilación y ejecución:

$ mmc holamundo.m
$ ./holamundo.exe

Salida:

Hola, mundo

Ejemplo 2. Ejemplo de relaciones. En este caso entre objetos, padre-hijo.

En Prolog:

familia.pl

% familia.pl
padre(juan, maria).
padre(juan, pedro).

% Regla: abuelo
abuelo(X, Y) :- padre(X, Z), padre(Z, Y).

% Consulta:
% $ swipl
% ?- [familia].
% ?- abuelo(juan, _).

En Mercury:

familia.m

% familia.m
:- module familia.
:- interface.
:- import_module io, list, solutions.

:- pred main(io::di, io::uo) is det.

:- implementation.

:- type persona ---> juan ; maria ; pedro ; ana.

% Relación padre
:- pred padre(persona::in, persona::out) is nondet.
padre(juan, maria).
padre(juan, pedro).
padre(pedro, ana).

% Relación abuelo
:- pred abuelo(persona::in, persona::out) is nondet.
abuelo(X, Y) :-
    padre(X, Z),
    padre(Z, Y).

main(!IO) :-
    % Recolectamos todas las soluciones de abuelo(juan, Nieto)
    Solutions = solutions(abuelo(juan)),
    (
        Solutions = [],
        io.write_string("Juan no es abuelo\n", !IO)
    ;
        Solutions = [N | Ns],
        io.write_string("Juan es abuelo de: ", !IO),
        io.write_list([N | Ns], ", ", io.write, !IO),
        io.nl(!IO)
    ).

Compilación y ejecución:

$ mmc familia.m
$ ./familia.exe

Salida:

Juan es abuelo de: ana

Ejemplo 3. Saber si un número es par.

En Prolog:

numeros.pl

% numeros.pl
par(X) :- 0 is X mod 2.
% $ swipl
% ?- [numeros].
% ?- par(4).

En Mercury:

numeros.m

% numeros.m
:- module numeros.
:- interface.
:- import_module io, int.

:- pred main(io::di, io::uo) is det.

:- implementation.

:- pred par(int::in) is semidet.
par(N) :- N mod 2 = 0.

main(!IO) :-
    ( if par(4) then
        io.write_string("4 es par\n", !IO)
    else
        io.write_string("4 no es par\n", !IO)
    ).

Compilación y ejecución:

$ mmc numeros.m
$ ./numeros.exe

Salida:

4 es par

¡Hemos creado nuestros primeros programas en Mercury!

Continuaremos en próximas entregas.

Enlaces:

https://blog.adrianistan.eu/mercury-prolog-haskell-bebe/
https://guedemann.org/articles/mercury-intro-curry-club.html
https://en.wikipedia.org/wiki/Mercury_(programming_language)
https://www.mercurylang.org/
https://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/tutoriales/mercury_2026-1/index.html

Etiquetas:

Comentarios

Publicar un comentario

Entradas populares de este blog

Rocket: un framework web para Rust

De Beta
Rocket Framework es: Un framework web escrito en Rust.   Inspirado en Rails, Flask, Bottle y Yesod.  Admite el manejo de solicitudes HTTP, Web Sockets, JSON, plantillas y más. Creando un proyecto con Rocket Framework En primer lugar, verificamos la instalación de Rust en nuestras máquinas: rustc - - version Continuamos con la configuración de Rust nightly como nuestra cadena de herramientas predeterminada ejecutando el comando: rustup default nightly Si lo prefieres, una vez que configuremos un directorio de proyecto en la siguiente sección, puedes usar anulaciones por directorio para usar la versión nocturna solo para tu proyecto Rocket ejecutando el siguiente comando en el directorio: rustup override set nightly Creamos nuevo proyecto `` hola-rocket `` y nos ubicamos en el directorio creado: cargo new hola - rocket - - bin cd hola - rocket Con Cargo, agregamos la dependencia de rocket: cargo add rocket Abrimos el archivo `` Cargo.toml `` Ca...
Publicar un comentario
Leer más

Odin language: el lenguaje de programación orientado a datos para un desarrollo de software sensato

De Dr. Lang
En esta serie sobre lenguajes de programación hablamos de Odin , un lenguaje orientado a datos. Un nuevo lenguaje de programación que nos podrá recordar a lenguajes como C++, Python, Golang o hasta Rust. Instalación (Windows): 1 2 3 4 $ git clone https://github.com/odin-lang/Odin $ cd Odin $ git pull $ build.bat release Debemos asegurarnos de crear la variable de entorno: Nombre: ODIN_HOME Valor: C:\Users\HP\Documents\pruebasOdin\Odin Ejemplo 1. Como primer programa tendremos al clásico "Hola, mundo". holamundo.odin package holamundo import " core:fmt " main : : proc ( ) { fmt . println ( " ¡Hola, mundo desde Odin! " ) } Construimos: $ odin build holamundo . odin - file Ejecutamos: $ holamundo .exe Recordar que si usamos Visual Studio Code podemos instalar el plugin de Odin Language: https://marketplace.visualstudio.com/items?itemName=DanielGavin.ols Ejemplo 2. Programa que muestre las variables que pod...
Publicar un comentario
Leer más

Programación Windows Batch (CMD) parte 3

De Dr. Lang
Crear ciclos para efectuar operaciones tediosas nos ahorrará tiempo para realizar otras tareas. En está ocasión veremos ciclos con FOR . ¿Cuál es la síntaxis de bucle FOR en Windows Batch? Si está dentro de un archivo *.bat : FOR %%variable IN (seq) DO operaciones Si lo ejecutamos en una terminal: FOR %variable IN (seq) DO operaciones Ejemplo 1 . Recorrer una secuencia de números del 0 al 5: recorrer.bat @ echo off FOR %%i in ( 0 1 2 3 4 5 ) DO echo Hola no. %%i pause Nos imprimirá en pantalla: Hola no. 0 Hola no. 1 Hola no. 2 Hola no. 3 Hola no. 4 Hola no. 5 ¿Puedo usar contadores? Si, se pueden usar. Ejemplo 2 . Uso de contadores: contador.bat @ echo off set numeros = 1 2 3 4 5 6 7 8 9 10 set cont = 0 for %%a in ( %numeros% ) do ( echo Hola no. %%a :: Contador set /a cont+ = 1 ) echo Total: %cont% Este código nos imprimirá, además de los mensajes Hola no. 0 ..., el total de valores conta...
3 comentarios
Leer más