Mercury_(編程語言)

Mercury是爲現實世界使用而開發的函數式邏輯編程語言 。 最初版本是墨爾本大學計算機科學系的Fergus Henderson 、 Thomas Conway和Zoltan Somogyi在Somogyi監督下完成的 ， 並在1995年4月8日發行 。 Mercury是純聲明式邏輯編程語言 。 它有關於Prolog和Haskell二者 。 它的特徵是有強 、 靜態 、 多態類型系統 ， 和強的模態 （ mode ） 和確定性系統 。 官方實現是墨爾本Mercury編譯器 ， 可以在多數Unix和類Unix平臺上獲得到 ， 包括Linux 、 macOS和Windows 。