mercury

Pure logic programming language

Mercury is a 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.

Versions: 22.01.4
Website: https://mercurylang.org
Licenses: GPL 2
Package source: gnu/packages/mercury.scm
Builds: See build status
Issues: See known issues

Installation

Install the latest version of mercury as follows:

guix install mercury

Or install a particular version:

guix install mercury@22.01.4

You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.

Badge code

HTML: <a href='http://127.0.0.1:3000/packages/mercury/'><img src='http://127.0.0.1:3000/packages/mercury/badges/latest-version.svg'></img></a>
Markdown: [![GNU Guix](http://127.0.0.1:3000/packages/mercury/badges/latest-version.svg)](http://127.0.0.1:3000/packages/mercury/)
Org: [[http://127.0.0.1:3000/packages/mercury/][http://127.0.0.1:3000/packages/mercury/badges/latest-version.svg]]