Estrategias de Estrechamiento Perezoso : Modelos de Cómputo para la Programación Lógico Funcional

La Programación Declarativa constituye una de las áreas de investigación dotadas de un mayor fundamento matemático dentro del campo de laprogramación, lo que la confiere un alto nivel de abstracción de gran utilidad en numerosos ámbitos de aplicación. Tradicionalmente, ha sidodividida en dos paradigmas separados basados en diferentes formalismos matemáticos y en diferentes cómputos subyacentes: La ProgramaciónFuncional y la Programación Lógica. Con el fin de integrar las ventajas de ambos paradigmas en uno solo, se han desarrollado en las últimasdécadas varias propuestas de Lenguajes de Programación Lógico Funcional, muchos de los cuales hacen uso de la relación de Estrechamiento como modelo de cómputo unificado para definir su semántica operacional. Sin embargo, debido a la ineficiencia del estrechamiento, muchas estrategias han sido propuestras con el fin de refinar el espacio decómputo que se genera. Entre ellas, las investigaciones más recientes se han centrado en el estudio de las denominadas Estrategias de Estrechamiento Perezoso. El presente libro presenta los principales cálculos y estrategias de estrechamiento perezoso que se han desarrollado en las últimas décadas.