Mercury (4)
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. O - http://www.cs.mu.oz.au/research/mercury/
|