An Incremental Curry interpreter with polymorphic types and monadic declarative I/O
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). A description of the UPV-Curry system is available here. And the correctness proof of its incremental needed narrowing algorithm can be found here.
The main features of the UPV-Curry system are:
UPV-Curry is an interactive programming environment which provides:
A detailed user's manual describing the system and the use of UPV-Curry is available.
You can get the UPV-Curry system here (45k). Last version of April 11, 2001.
Last update Apr 2001 # firstname.lastname@example.org