Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. |
Declarative multi-paradigm languages combine the main features of functional and logic programming, like laziness, logic variables and non-determinism. |