Lenguaje de Programación Mercury

LENGUAJES DE PROGRAMACIÓN

Hola compañeros aquí les dejo una pequeña introduccion sobre  Mercury:

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

Es un lenguaje lógico funcional que está basado en la programación declarativa pura, un lenguaje de propósito general que fue diseñado para resolver aplicaciones del “mundo real” de forma robusta; fue desarrollado por Fergus Henderson, Thomas Conway y Zoltan Somogyi en la universidad de Melbourne el 8 de abril de 1995; la sintaxis es parecida a la de Prolog y soporta polimorfismo.

Es un lenguaje puro , comparado con Prolog ,es más declarativo puesto que carece de declaraciones “extra-logicas" como “poda” y E/S imperativa .Permite una optimización mejor del programa . Gracias a estas optimizaciones debidas a la pureza del programa , un programa escrito en mercury es más rápido que uno equivalente realizado en prolog.

EJERCICIO:
Este programa trata de encontrar 4 digitos que si lo multiplicamos por 4 deben de dar igual a los mismo 4 digitos pero de forma inversa, es decir al multiplicas wxyz*4=zyxw.

Este programa utilizo:

modulo: declara el modulo.
interface: declara los elementos
pred: quiere decir que los valores son enteros y son valores de salida
is nondet: da cero o mas soluciones
solution: devuelve la lista de los resultado

SALUDOS!!!!