Programación Declarativa

El presente repositorio es una recolección de ejemplos para el laboratorio de Programación Declarativa, curso optativo del sexto al octavo semestre de la Licenciatura en Ciencias de la Computación en la Facultad de Ciencias de la UNAM.

Autor

   Manuel Soto Romero
   manu@ciencias.unam.mx

Descarga

$ git clone https://github.com/ciencias-unam/pd_ejemplos

Contenido

1. Introducción a Prolog
2. Control de programas en Prolog
3. Introducción a Haskell
4. Tipos y clases de tipos en Haskell
5. Programas interactivos en Haskell
6. Introducción a Racket
7. Aspectos imperativos de Racket
8. Interfaces gráficas de usuario en Racket