La Programación Declarativa constituye una de las áreas de investigación dotadas de un mayor fundamento matemático dentro del campo de la programación, lo que la confiere un alto nivel de abstracción de gran utilidad en numerosos ámbitos de aplicación. Tradicionalmente, ha sido dividida en dos paradigmas separados basados en diferentes formalismos matemáticos y en diferentes cómputos subyacentes: La Programación Funcional y la Programación Lógica. Con el fin de integrar las ventajas de ambos paradigmas en uno solo, se han desarrollado en las últimas dé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 de có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.