Las clases serán los lunes en el aula D2 (laboratorio de las baterías D), en dos comisiones: comisión 1, de 11:30 a 14:30, comisión 2, de 14:30 a 17:30.
Este año vamos a ver aproximaciones distintas a la programación declarativa: programación lógica (en prolog) y programación funcional (en haskell). Este tipo de programación tiene varias diferencias con la programación imperativa que quizás muchos de ustedes conozcan (C, C++, Visual Basic, Perl).
| Mar 30 | Clase 1 | Introducción a programación declarativa, introducción a prolog, átomos, sintaxis, pequeño ejemplo. |
| Abr 6 | Clase 2 | Consolidación de conceptos, uso de la traza, analizando problemas. |
| Abr 13 | Clase 3 | Introducción a haskell, tipos, análisis por casos, pattern matching. |
| Abr 20 | Clase 4 | Repaso de programación funcional, modularización, definiciones locales. |
| Abr 27 | Clase 5 | Listas y recursión lineal en haskell y prolog. |
| May 4 | Clase 6 | Repaso de recursión, ejercicios de recursión. |
| May 11 | Clase 7 | Parcialito 1 |
| May 18 | Clase 8 | Generalización de funciones recursivas en listas y alto orden. Aplicando generalizaciones. |
| Jun 1 | Clase 9 | Resolviendo problemas complejos. |
| Jun 8 | Clase 10 | Parcialito 2 |
| Jun 15 | Clase 11 | La Guinda |
Hay también una página con las soluciones a los ejercicios.
Vamos a usar SWIProlog. Existen versiones para linux, windows, windows de 64 bits, mac sobre intel y mac sobre power pc.
Vamos a usar Hugs.
Las principales distribuciones Linux (Debian, Ubuntu, Fedora y Gentoo) incluyen Hugs como un paquete de instalación.
Para los usuarios de Windows y *nix, hay versiones para bajar desde Downloading Hugs.
En Windows tenemos MinHugs una versión pequeña de solo 1.4MiB de descarga.
Hay varios cursos muy claros y didácticos para aprender Prolog on-line, los que más me gustan a mí (de más a menos):