MCORBA
- http://www.mercury.cs.mu.oz.au/mcorba.html
- 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 Project
- http://www.cs.mu.oz.au/research/mercury/
- 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.