Curry è un linguaggio di programmazione sperimentale e multi-paradigma introdotto da Michael Hanus, Herbert Kuchen e Juan Jose Moreno-Navarro nel 1995. Il suo nome è un omaggio al logico Haskell Brooks Curry.

Il linguaggio è stato progettato con l'intento di "combinare le caratteristiche più importanti dei linguaggi funzionali e logici ... [che sono] i più importanti paradigmi di programmazione dichiarativa". Il codice curry è interpretato o compilato nelle lingue Prolog o Java.

"Ciao mondo!" in Curry

main = print ("Hello, World!")

Haskell, logica, paradigma, termini di programmazione, Prolog