Mercury (programming language)

Mercury
ParadigmLogic, functional, object-oriented[citation needed]
Designed byZoltan Somogyi
DeveloperUniversity of Melbourne
First appearedApril 8, 1995; 29 years ago (1995-04-08)
Stable release
22.01.8[1] Edit this on Wikidata / 8 September 2023; 10 months ago (8 September 2023)
Typing disciplineStrong, static, polymorphic
Implementation languageMercury
PlatformIA-32, x86-64, Arm, SPARC64, Java, CLI
OSCross-platform: Unix, Linux, macOS, Solaris, FreeBSD, OpenBSD, Windows, Android
LicenseGPL compiler,
LGPL standard library
Filename extensions.m
Websitewww.mercurylang.org
Major implementations
Melbourne Mercury Compiler
Influenced by
Prolog, Hope, Haskell

Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995.

Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell.[2] It features a strong, static, polymorphic type system, and a strong mode and determinism system.

The official implementation, the Melbourne Mercury Compiler, is available for most Unix and Unix-like platforms, including Linux, macOS, and for Windows.

  1. ^ "Release 22.01.8". 8 September 2023. Retrieved 18 September 2023.
  2. ^ The Mercury Project - Motivation