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
No hay comentarios:
Publicar un comentario