UPV-Curry User's Manual


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).

Key Words

Curry, declarative programming, functional logic programming.