Mercury语言 Mercury是为现实世界使用而开发的函数式逻辑编程语言最初版本是墨尔本大学计算机科学系的Fergus HendersonThomas Conway和Zoltan Somogyi在Somogyi监督下完成的并在年月日发行 Mercury是纯声明式逻辑编程语言它有关于Prolog和Haskell二者它的特征是有强静态多态类型系统和强的模态mode和确定性系统 官方实现是墨尔本Mercury编译器可以在多数Unix和类Unix平台上获得到包括LinuxmacOS和Windows