LENGUAJESLOGICOFUNCIONALES

LENGUAJES LOGICO
FUNCIONALES

REALIZADO POR
Taha Boureddan
1

INDICE
Introducción a la programación lógico-funcional
Algunos lenguajes lógico-funcionales
Oz
- Historia
- Multiparadigma
- Programación con restricciones
- Jerarquía de tipos
- Ejemplos
- ventajas
Mozart
Mercury
- Historia
- Tipos
- Determinismo
- Ejemplos
- Ventajas
Bibliografía

2

INTRODUCCION A LOS LENGUAJES
LOGICO-FUNCIONALESLos lenguajes de programación lógico funcionales integran algunas
de las mejores carácterısticas de los paradigmas declarativos clasicos ,en
concreto:
•
la programacion logica
•
la programacion funcional.
Cada uno de estos estilos tiene diferentes ventajas con respecto a sus
aplicaciones practicas.
 Los lenguajes funcionales proporcionan :
_- Facilidades de abstracción sofisticadas.
- Sistemas demódulos.
- Soluciones “puras” para la integración de facilidades de I/O en la
programación declarativa.
- Además de técnicas y estrategias eficientes para la ejecución de los
programas.

3

INTRODUCCION A LOS LENGUAJES
LOGICO-FUNCIONALES
 Los lenguajes lógicos permiten :
- La computación con información parcial .
- Están provistos de facilidades de búsqueda de soluciones.
Sin embargo, se hademostrado que las ventajas de estos
estilos pueden combinarse de manera efectiva y útil sobre un
lenguaje único. Los lenguajes lógico funcionales modernos
ofrecen carácterısticas de ambos estilos. La semántica
operacional de los lenguajes integrados esta usualmentebasada
en narrowing, una combinación de la unificación y reducción
como mecanismo de evaluación que subsume a la reescritura y
a aSLD-resolución.

4

ALGUNOS LENGUAJES LOGICO
FUNCIONALES






OZ
MOZART
MERCURY
LIFE
TOY

5

OZ Historia
OZ fue originalmente desarrollado en el laboratorio de
Programación de Sistemas en la Universidad de Saarland
por Gert Smolka y sus estudiantes a comienzos de 1990. En
1996 el desarrollo de Oz continuó en cooperación con el
grupo de investigación de Seif Haridi en Instituto Sueco de
Cienciasde la Computación. Desde 1999, Oz ha sido
continuamente desarrollado por un grupo internacional, el
Consorcio Mozart, que estuvo compuesto originalmente por
la Universidad de Saarland, el Instituto Sueco de Ciencias
de la Computación, y la Universidad Católica de Louvain.
En 2005, la responsabilidad de gestionar el desarrollo de
Mozart fue transferida aun grupo base, el Tablero Mozart,
con elpropósito expreso de abrir el desarrollo de Mozart a
una comunidad mayor.

6

OZ Historia
Oz tiene una implementación de gran
calidad, el Sistema de Programación
Mozart, el cual fue liberado con una
licencia de Código Abierto por el
Consorcio Mozart. Mozart ha sido
portado a diferentes plataformas
como Unix, FreeBSD, Linux,
Microsoft Windows, y Mac OS X.
7

OZ Historia
Fue diseñado para hacer unavance
moderno para las aplicaciones
concurrentes , inteligentes , de redes ,
tiempo real , paralelismo , interactivas y
reactivas .y para resolver aplicaciones
complejas robusta y rápidamente.

8

OZ Multiparadigma
Oz contiene una forma simple y bien hecha de la
mayoría de los conceptos de los principales
paradigmas de programación que son:
Programación lógica
Programación funcional
Programaciónimperativa
Programación orientada a objetos
Programación concurrente
Programación distribuida
Programación con restricciones

9

OZ :Programación con
restricciones
Con respecto a la Programación con restricciones la
búsqueda es implementada de forma diferente a como
es había hecho en los lenguajes lógicos con
restricciones , puesto que la búsqueda es programable .
Además en vez de seguir el típicoenfoque de primero
en profundidad y de izquierda a derecha , las estrategias
de búsqueda están codificadas en los llamados
procedimientos de búsqueda con lo que se explora en
espacio de soluciones . Además el computo puede ser
suspendido o retrasado con respecto a las elecciones a
realizar en el procedimiento de exploración , hasta que
el programador especifique explícitamente un
procedimiento...