Programacion declarativa

La Programación declarativa es un paradigma de programación basado en la lógica en el que se estudian de forma simple muchos aspectos avanzados de los lenguajes de programacion modernos. Este estilo de programación encuentra numerosas aplicaciones industriales en campos como las bases de datos, ingeniería del software, procesadores de lenguajes, lenguaje natural, investigación operativa, seguridad de redes, etc. El objetivo global de la asignatura es introducir dos paradigmas expresivos representativos del estilo de programación declarativa: la programación lógica y la programación funcional, así como presentar algunas técnicas avanzadas que tienen que ver con programación visual. Este objetivo general se concreta en: aprender a leer programas con un significado declarativo en diferentes lógicas y aprender a programar eficientemente en un lenguaje representativo de cada paradigma. En el laboratorio se trabajará con un lenguaje lógico con facilidades para desarrollar aplicaciones GUI, como servidores y agentes o arañas inteligentes.