Curry: Uma fusão perfeita entre programação funcional e lógica

Curry é uma linguagem de programação declarativa multiparadigma que combina perfeitamente recursos da programação funcional (expressões aninhadas, funções de ordem superior, tipagem forte, avaliação preguiçosa) e da programação lógica (não-determinismo, busca integrada, variáveis livres, estruturas de dados parciais). Em comparação com paradigmas de programação únicos, Curry oferece recursos adicionais, como avaliação otimizada para computações orientadas a lógica e casamento de padrões flexível e não-determinístico com funções definidas pelo usuário.