La programación Lógico-Funcional (LF) pretende la integración de los paradigmas lógico y funcional puros para obtener lenguajes más expresivos y eficientes. Puesto que la semántica operacional estándar de estos lenguajes integrados se basa en (alguna variante) del estrechamiento (narrowing), nuestro interés se centra en aspectos formales y de implementación de estrategias de estrechamiento así como en la combinación del estrechamiento con otros mecanismos operacionales.