Mercury語言

Mercury是為現實世界使用而開發的函數式邏輯編程語言。最初版本是墨爾本大學計算機科學系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi監督下完成的，並在1995年4月8日發行。

Mercury

編程範型	邏輯, 函數式, 物件導向
設計者	Zoltan Somogyi
實作者	墨爾本大學
面市時間	1995年4月8日，​30年前​（1995-04-08）
當前版本	22.01.8（2023年9月8日；穩定版本）[1]
型態系統	強類型, 靜態, 多態
實作語言	Mercury
系統平台	IA-32, x86-64, ARM, Sparc64, Java, CLI, Erlang/OTP
作業系統	跨平台: Unix, Linux, macOS, Solaris, FreeBSD, OpenBSD, Windows, Android
許可證	GPL編譯器, LGPL標準庫
文件擴展名	.m
網站	www.mercurylang.org
主要實作產品
Melbourne Mercury Compiler
受影響於
Prolog, Hope, Haskell

Mercury是純聲明式邏輯編程語言。它有關於Prolog和Haskell二者^[2]。它的特徵是有強、靜態、多態類型系統，和強的模態（mode）和確定性系統。

官方實現是墨爾本Mercury編譯器，可以在多數Unix和類Unix平台上獲得到，包括Linux、macOS和Windows。

語法

Hello World 程序

下面是"Hello World"

:- module hello.
 
:- interface.
 
:- import_module io.
 
:- pred main(io::di, io::uo) is det.
 
:- implementation.
 
main(!IO) :-
    io.write_string("世界，你好！\n", !IO).