Mercury 13.05.1

逻辑编程语言已经存在了二十多年。尽管基于逻辑的发达理论与传统的编程语言（如C，C ++，Pascal和ADA）的一个非常高级编程语言的优势，预计他们不会对计算机行业显著影响。汞是一种新的逻辑/函数式编程语言，它结合了清晰度和声明式编程与先进的静态分析和错误检测功能的表现。水星是高度优化的执行算法远远带来的效率超过现有逻辑编程系统，并接近传统的编程系统。水星解决大型程序开发的问题，让模块化，独立编译，以及众多的优化/时间权衡 什么是此版本中的新： ...