What: Mercury
 Where: http://www.cs.mu.oz.au/mercury/
        ftp://turiel.cs.mu.oz.au/pub/mercury/mercury-0.7.3-core.tar.gz
        ftp://turiel.cs.mu.oz.au/pub/mercury/mercury-0.7.3-extras.tar.gz
        ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury/
 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: 11/1997
 Contact: mailto:mercury@cs.mu.oz.au 


----
[Category Language]