Mercury Programming Language - http://en.wikipedia.org/wiki/Mercury_programming_language
Growing article, with links to many related topics. [Wikipedia] |
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. |