---
name: "mercury"
section: "1"
platform: "linux"
package: "mercury"
version: "0.6.2-1"
release: "Debian 1.3 (Bo)"
platforms: ["linux"]
url: "https://new.carta.tech/mercury"
---

# mercury(1)

a purely declarative logic/functional programming language

## NAME

mercury - a purely declarative logic/functional programming language

## DESCRIPTION

This manual page documents briefly the **mercury** system. This manual page was written for the Debian GNU/Linux distribution (but may be used by others), because the original program does not have a manual page. Instead, it has documentation in the GNU Info format; see below.

**mercury** is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.  Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

## OPTIONS

The programs follow the usual GNU command line syntax, with long options starting with two dashes (\`-'). For a complete description, see the Info files.

- **-h, --help**

  Show summary of options.

- **-v, --version**

  Show version of program.

## SEE ALSO

The programs are documented fully by *The Mercury User's Guide*, available via the Info system.

## AUTHOR

This manual page was written by Milan Zamazal \<pdm@fi.muni.cz\>, for the Debian GNU/Linux system.