Mercury is a new logical/functional programming language that combines the advanced static analysis and error detection capabilities of descriptive programming. It highly optimizes the execution algorithm far more efficient than the existing logical programming system, and approaches the conventional programming system. Mercury can handle the problem of large http://www.aliyun.com/zixun/aggregation/7298.html "> program development, making it modular, separate compilation and numerous optimization/time tradeoffs.
Mercury 11.07.1 This revision fixes the problem of Cygwin libraries built in C # in high-end and using GCC in C99 mode (or GNU99). There are also some minor additions to the standard library.
Software Information: http://www.mercury.csse.unimelb.edu.au/
Download Address: http://www.mercury.csse.unimelb.edu.au/download/release.html