Resumen de Diseño y semántica de lenguajes lógico-funcionales
El diseño de lenguajes de programación lógico-funcionales pretende hacer posible la combinación del estilo funcional propio de lenguajes tales como SML o Haskell con el estilo lógico característico de los lenguajes de la familia Prolog. Se trata de ganar expresividad sin perder la principal ventaja de los lenguajes declarativos: una semántica simple, basada en la lógica.
En esta conferencia se presentará la línea de investigación sobre el diseño de lenguajes lógico-funcionales, desarrollada en varios proyectos por el grupo de programación declarativa del Dpto. de Sistemas Informáticos y de programación de la UCM. Hemos diseñado semánticas y mecanismos de ejecución adecuados para lenguajes con diferentes características, tales como restricciones[1, 2], funciones interdeterministas [3] y de orden superior [4], y tipos de datos algebraicos [5]. Todas estas características, excepto la última, están incorporadas en la implementacion del sistema TOY[6].
