Solucionadores declarativos en el lenguaje Curry

Soy un programador de lógica funcional y trabajo profesionalmente en Curry, así que ofrezco diseñar e implementar soluciones declarativas donde el código imperativo ordinario se convierte en confusión. Curry combina funciones puras en el espíritu de Haskell con programación lógica: describo una tarea como un conjunto de relaciones, y la reducción y el cálculo no determinista recorren el espacio de búsqueda. Es mi herramienta diaria. A lo largo de los años he escrito solucionadores de restricciones, motores de rompecabezas y programación, analizadores de sintaxis y pequeños lenguajes de dominio, siempre prefiriendo ecuaciones legibles a la optimización manual de bucles. El flujo de trabajo típico es: acordamos una especificación, modelo el dominio con tipos algebraicos y patrones de función, añado variables libres y elección no determinista donde se necesita búsqueda, y encapsulo el resultado para que el código que llama obtenga respuestas deterministas y comprobables. Los sistemas principales son PAKCS y KiCS2; sé cómo identificar dónde explota la búsqueda y añadir restricciones por adelantado para reducirla. Los entregables incluyen código fuente comentado, una breve nota sobre el modelo declarativo, un conjunto de pruebas y una llamada para revisar el diseño para que tu equipo pueda mantener el código. También ayudo a proyectos académicos: implementaciones de referencia para artículos, ejemplos de enseñanza, artefactos reproducibles para evaluación. Si tienes una tarea combinatoria o basada en reglas y necesitas una solución clara, no una caja negra, Curry es ideal, y estoy feliz de construirlo contigo.