Narrowing-driven Specialization of Functional Logic Programs
Marı́a Alpuente, Moreno Falaschi, Germán Vidal · 2004
Languages that integrate functional and logic programming with a complete operational semantics are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction principle of functional languages and the resolution principle of logic languages.