martes, 2 de noviembre de 2010

MERCURY

Es un lenguaje logico-funcional,que integra soluciones puras y computacion con informacion parcia.

Este lenguaje fue desarollado por Fergus Henderson, Thomas Conway y Zoltan Somogy, en la universidad de Melbourne en 1995, y su sintaxis es parecida a la de prolog.

Esta disponible en plataformas Unis, MAC y Windows.

El programa que les pongo a continuacion se 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.


El resultado seria [2 1 7 8].


Este programa utiliza:
modulo: declara el modulo.
interface: declara los elementos
pred: que significa en este programa que los valores son enteros y son valores de salida
is nondet: da cero o mas soluciones
solution: devuelve la lista de los resultado

1 comentario: