Mercury is a functional logic programming language geared towards real-world applications. It is developed at the University Of Melbourne Computer Science department under the supervision of Zoltán Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltán Somogyi and was released on April 8, 1995.
Mercury is a purely declarative logic language based on Prolog. It features a strong, static, polymorphic type system, as ...
more
Mercury is a functional logic programming language geared towards real-world applications. It is developed at the University Of Melbourne Computer Science department under the supervision of Zoltán Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltán Somogyi and was released on April 8, 1995.
Mercury is a purely declarative logic language based on Prolog. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system.
The official implementation, the Melbourne Mercury Compiler is available for most Unix platforms, including Mac OS X, and Microsoft Windows (in Windows, it requires one of the Cygwin or MinGW toolsets, and can be compiled either with GCC or Microsoft Visual C++).
Although having no "stable" release since 2006, Mercury is still under active development as of 2009. A new snapshot release is made automatically each day which have more features and, usually, less bugs than the stable release.
Mercury...
less
