Editing Mercury (programming language) (section)

{{Short description|Functional logic programming language}}
{{For|Mercury Autocode|Autocode}}
{{Distinguish|Mercurial|Mercury (RemObjects BASIC programming language)}}

{{Infobox programming language
| name = Mercury
| logo = Mercury (programming language) logo.jpg
| logo size = 250px
| paradigm = [[Logic programming|Logic]], [[Functional programming|functional]], [[Object-oriented programming|object-oriented]]{{citation needed|date=February 2024}}
| family = 
| designer = Zoltan Somogyi
| developer = [[University of Melbourne]]
| released = {{Start date and age|1995|04|08}}| latest release version = {{wikidata|property|preferred|references|edit|P348|P548=Q2804309}}                                             | latest release date    = {{Start date and age|{{wikidata|qualifier|preferred|single|P348|P548=Q2804309|P577}}|df=yes}}
| typing = [[Strong and weak typing|Strong]], [[Type system#Static type checking|static]], [[Polymorphism (computer science)|polymorphic]]
| scope = 
| programming language = Mercury
| platform = [[IA-32]], [[x86-64]], [[ARM architecture family|Arm]], [[SPARC]]64, [[Java (software platform)|Java]], [[Common Language Infrastructure|CLI]]
| operating system = [[Cross-platform software|Cross-platform]]: [[Unix]], [[Linux]], [[macOS]], [[Oracle Solaris|Solaris]], [[FreeBSD]], [[OpenBSD]], [[Microsoft Windows|Windows]], [[Android (operating system)|Android]]
| license = [[GNU General Public License|GPL]] compiler,<br/>[[GNU Lesser General Public License|LGPL]] standard library
| file ext = .m
| file format = 
| website = {{url|https://www.mercurylang.org/|mercurylang.org}}
| implementations = Melbourne Mercury Compiler
| dialects = 
| influenced by = [[Prolog]], [[Hope (programming language)|Hope]], [[Haskell]]
| influenced = 
}}

'''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 programming|declarative]] [[logic programming]] language. It is related to both [[Prolog]] and [[Haskell]].<ref name="motivation">[http://www.mercurylang.org/about/motivation.html The Mercury Project - Motivation]</ref> 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 [[Microsoft Windows|Windows]].