New logic/functional programming language. Combines clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution is far faster than extant logic languages, and near that of procedural languages. Free software, GPL.
A CORBA binding for Mercury. It allows you to use CORBA objects from Mercury, and allows you to implement CORBA objects in Mercury. This means you can write distributed systems in Mercury, or use Mercury to implement part of a component-based system.