Growing article, with links to many related topics. [Wikipedia]

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 language...