tool: Mercury

---

Language:	Mercury
Version:	0.7.3
Parts:	compiler(->C), library, run-time, profiler, documentation, GUI interface (tcl/tk + openGL), examples
Author:	mercury@cs.mu.oz.au (The Mercury Team)
Location:	australia: ftp://turiel.cs.mu.oz.au/pub/mercury usa: ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury europe: ftp://ftp.csd.uu.se/pub/Mercury
Reference:	see <http://www.cs.mu.oz.au/mercury>
Description:	Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. The home Mercury ftp site, turiel.cs.mu.oz.au, contains /pub/mercury/mercury-0.7.3-extras.tar.gz which includes interfaces to OpenGL libraries, Tcl/Tk, a CGI library, an ODBC interface, and a few other goodies. We provide this archive separately because not all of the extras are under the GPL.
Features:	no non-logical side-effects (even I/O is purely declarative) strong polymorphic types strong modes determinism system module system supports higher-order programming very efficient
Bugs:	<mercury-bugs@cs.mu.oz.au>
Restriction:	GNU Public Licence (GPL plus LGPL)
Requires:	GNU C 2.6.3 or higher and GNU Make 3.69 or higher
Ports:	IRIX 5, Solaris, Alpha/OSF, Linux, Ultrix, BSD, Windows 95/NT
Portability:	should port to any POSIX-like system without too much trouble
Status:	undergoing active development
Discussion:	mailing list <mercury-users-request@cs.mu.oz.au>, comp.lang.prolog and/or comp.lang.misc
Support:	<mercury@cs.mu.oz.au>
Announcements:	mailing list <mercury-announce-request@cs.mu.oz.au>
Contact:	<mercury@cs.mu.oz.au>
Updated:	11/1997

category: logic programming languages summary, or expanded.