|What:| Mercury| | Where:| http://www.mercurylang.org/| | 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:| 19 February 2014| | Contact:| mailto:mercury@cs.mu.oz.au | <> Language