Curry : Une fusion parfaite entre la programmation fonctionnelle et la programmation logique

Curry est un langage de programmation déclaratif multi-paradigme qui combine de manière transparente les fonctionnalités de la programmation fonctionnelle (expressions imbriquées, fonctions d'ordre supérieur, typage fort, évaluation paresseuse) et de la programmation logique (non-déterminisme, recherche intégrée, variables libres, structures de données partielles). Comparé aux langages à paradigme unique, Curry offre des fonctionnalités supplémentaires, telles qu'une évaluation optimisée pour les calculs orientés logique et une correspondance de motifs flexible et non déterministe avec des fonctions définies par l'utilisateur.