Dear Colleagues,
a new version of PACS, the Portland Aachen Curry System,
is available for downloading via the web page
http://www-i2.informatik.rwth-aachen.de/~hanus/pacs10/
Main changes of version 1.1 w.r.t. the previous version:
The front-end has been considerably improved:
--------------------------------------------
- The lambda lifter is fully implemented, i.e., the restrictions
w.r.t. local declarations have been omitted.
- If you use the compiler from Curry into Prolog, compilation will
be much faster (since one transformation phase has been deleted)
The Curry->Prolog run time system has been extended:
----------------------------------------------------
- Ports are now fully supported, i.e., one can write distributed
applications where arbitrary data terms including logical
variables can be sent over the network.
- A collection of standard libraries has been added. This includes
libraries for
- arithmetic constraints over real numbers
- finite domain constraints
- meta-programming (including a representation of Curry programs in Curry)
- GUI programming (as described in my PADL'00 paper)
- functional logic parser combinators
- system access (date, environment variables etc)
Have fun!
Michael
Received on Fr Dez 10 1999 - 18:13:56 CET