What: Mercury
Where: http://www.cs.mu.oz.au/mercury/
http://www.cs.mu.oz.au/research/mercury/download/release.html
Description: A GPL logic functional programming language.
Has the semantics of modern functional programming, and expressiveness
of logic languages. Has a strong type system, a module system,
a mode system, algebraic data types, parametic polymorphism, support
for higher order programming and a determinism system.
Addresses problems of large scale program development.
The extras tar file contains bindings for Tcl/Tk as well as a lot
of other libraries and goodies.
Updated: 10 Oct 2006 (Mercury 0.13.0 was released on September 14, 2006)
Contact: mailto:[email protected]