Computing Atlas

How Computing Was Built
Sign In
Text size
100%
Theme
Programming Language

Mercury (programming language)

Logic Language

Mercury is an open source programming language created in 1995 by Zoltan Somogyi. The Programming Language Database describes it as a functional logic programming language made for real-world uses and as a purely declarative logic programming language. The first version was developed in the Computer Science department of the University of Melbourne by Fergus Henderson, Thomas Conway and Zoltan Somogyi, under Somogyi's supervision, and was released on April 8, 1995. Mercury compiles to C, and the database lists related languages including Prolog, Haskell, Erlang, Standard ML, Oz, Curry and Visual Prolog. It appears in the TIOBE Index, and the page records hundreds of public repositories written in it.

Facts
First Released
1995 1
Paradigm
Logic 1
Mercury (programming language)
Filter Results1 entry
Connections

Follows Typing Discipline

Source The Mercury Project: About Mercury (mercurylang.org)
Source The Mercury Project: About Mercury (mercurylang.org)

In Field

Source Programming Language Database (PLDB): Mercury

Influenced By

Source The Mercury Project: About Mercury (mercurylang.org)

Preceded By

Source The Mercury Project: About Mercury (mercurylang.org)
Sources
1. Programming Language Database (PLDB): Mercury
  • PLDB Mercury page, opening line
    Mercury is an open source programming language created in 1995 by Zoltan Somogyi
  • PLDB Mercury page, Wikipedia summary
    Mercury is a purely declarative logic programming language.
  • In Field: Programming Language Theory, PLDB Mercury page
    Mercury is an open source programming language created in 1995 by Zoltan Somogyi
View the Source
The Mercury Project: About Mercury (mercurylang.org)
The Mercury Project
  • Follows Typing Discipline: Strong Typing, About Mercury, main features
    Mercury is a strongly typed language.
  • Follows Typing Discipline: Static Typing, About Mercury, main features
    Type errors are reported at compile time.
  • Influenced By: Prolog, About Mercury
    The syntax of Mercury is based on the syntax of Prolog
  • Preceded By: Prolog, About Mercury
    The syntax of Mercury is based on the syntax of Prolog
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.