mercury ☆

« Back to VersTracker

Description:
Logic/functional programming language

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: logic-programming functional-programming declarative compiler ai type-system

Install: brew install mercury

About:
Mercury is a modern logic/functional programming language that combines the clarity of declarative programming with strong static typing and high-performance compilation. It offers a sophisticated polymorphic type system, modes for specifying input/output behavior, and determinism analysis for reliable program execution. The language compiles to efficient native code via its robust backend, making it suitable for building complex symbolic AI, theorem provers, and constraint solving applications.

Key Features:

Strong static polymorphic type system
Declarative logic programming with modes and determinism
High-performance native code compilation
Sophisticated compiler with extensive optimization
Foreign language interface (C, C#, Java)

Use Cases:

Artificial intelligence and symbolic reasoning systems
Compiler construction and language tools
Constraint solving and optimization problems
Formal verification and theorem proving

Alternatives:

Prolog – Mercury adds strong static typing, modes, and determinism to logic programming
Haskell – Both are strongly typed functional languages, but Mercury uses logic programming paradigm
OCaml – Functional language with different paradigm; Mercury is logic-based with declarative semantics

Version History

Detected	Version	Rev	Change	Commit
Sep 14, 2024 3:50am		0	VERSION_BUMP	4e181c1b