El documento describe las características del lenguaje de programación lógico-funcional Curry y cómo se ha modificado para admitir conceptos de programación lógico-difusa como las relaciones de similaridad. Curry se basa en la utilización de narrowing necesario y ofrece funciones, concurrencia y unificación de manera eficiente. Se han realizado cambios léxicos y sintácticos mínimos para incluir una nueva función "sim" que define las similitudes entre funciones y constructores. La semántica operacional de Curry también se ha mod