mercury

Version: 0.10.1
Entered-date: 2001-04-04
Description: The Mercury programming language. 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.
ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury
ftp://sunsite.unc.edu/pub/linux/devel/lang/mercury/mercury-compiler.lsm (1420)
10.4MB/
Keywords: mercury programming language logic functional declarative
Author: mercury@cs.mu.oz.au (The Mercury Team)
Maintained-by: mercury@cs.mu.oz.au (The Mercury Team)
ftp://ftp.mercury.cs.mu.oz.au/pub/mercury
10.4MB/
Platforms: i386, PPC, Sparc, Alpha (others possible but untested with Linux), gcc 2.7.2 or higher, GNU make 3.69 or higher
Copying-policy: GPL+LGPL

Note: Not all entries contain correct, complete filenames or URLs. FTP sites often refuse connections due to excessive traffic. If you have difficulty with the provided links to individual files, try the first link, which is usually to a directory or web site for the program as a whole.

Up to Linux Software Map