Resumen de Semántica y análisis de programas lógico funcionales

Julio Mariño Carballo

• Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales de la programación declarativa: los lenguajes lógicos y los funcionales, Durante la década de los 80 se definieron unos cuantos de estos lenguajes y, de hecho, dos de ellos con la participación de nuestro departamento: Babel y su sucesor, Curry.

  Sin embargo, cuando nos movemos de la formulación teórica a las realizaciones prácticas aparecen una serie de problemas. Algunos son provocados porla incompatibilidad de distintos mecanismos de ejecución adaptados de cada una de las dos partes -- por ejemplo, la evaluación perezosa necesaria para realizar la semántica no estricta en los lenguajes funcionales y las técnicas de retroceso usadas en Prolog para el tratamiento del indeterminismo y las variables lógicas.

  Esta tesis abarca gran parte del trabajo de investigación que he llevado a cabo en la Facultad de Informática de la Universidad Politécnica de Madrid.

  Esta investigación ha girado, fundamentalmente, alrededor de la optimización, basada en métodos semánticos, de la compilación de programas lógico-funcionales.