See also:

• Computers: Programming: Languages: Comparison and Review  (119)
• Computers: Programming: Languages: Compiled: Functional  (0)
• Computers: Programming: Languages: Functional  (48)
• Computers: Programming: Languages: Garbage Collected  (4)
• Computers: Programming: Languages: Logic-based: Functional Logic  (8)
• Computers: Programming: Languages: Open Source  (2)

• Mercury Project   - Logic/functional programming language, merges clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution, far faster than most logic languages, near that of procedural languages. Open source, GPL.

• MCORBA - Mercury CORBA binding, allows using CORBA objects from Mercury, and implementing CORBA objects in Mercury. This allows making distributed systems in Mercury, or using Mercury to implement parts of component-based systems.
• Mercury Programming Language - Growing article, with links to many related topics. [Wikipedia]