Information:
Mercury is a new logic/functional programming language similar to Prolog. Its highly optimized execution algorithm delivers efficiency 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.
