Santiago Escobar, María Alpuente, and Salvador Lucas.
Curry is a functional logic programming language that combines the best ideas of existing declarative languages in an elegant, practical, comprehensive, and seamless way. Curry includes higher-order features, a type system, a module system, modern evaluation strategies, non-determinism, encapsulated search, partial data structures, existential variables, constraints, and declarative I/O. UPV-Curry is a novel implementation of Curry which has been developed by the ELP group at the Technical University of Valencia (UPV).
Curry, declarative programming, functional logic programming.