The Mercury Project
Documentation

[Mercury Logo]
Home

News

Information

Documentation
  Tutorial
  Reference Manual
    Version 11.07.2
    Snapshot
  User's Guide
    Version 11.07.2
    Snapshot
  Library Reference
    Version 11.07.2
    Snapshot
  cf. Prolog
    Version 11.07.2
    Snapshot
  cf. Haskell
  FAQ
    Version 11.07.2
    Snapshot

Mailing Lists

Back-ends

Download

Related

Contact

Search

Bug Database

This page contains documentation for Mercury version 11.07.2, and for the latest development snapshot.

The HTML versions are set up for browsing, however, if you'd prefer a copy of the entire document, links to PDF and PostScript copies are provided. Please note that the PostScript files are compressed using gzip and are in a4 format.

  • Ralph Becket's Mercury tutorial
    An introduction to Mercury. This is still under development. Feedback would be greatly appreciated.

    Available in PDF or PostScript.

  • Mercury Language Reference Manual
    Information on the Mercury programming language itself, including syntax, types and modes, determinism, the module system, foreign language interface and higher-order programming.

    Version 11.07.2:
    HTML, PDF or PostScript.
    Snapshot:
    HTML, PDF or PostScript.

  • Mercury User's Guide
    Information on the Mercury compiler, including how to compile, using multiple modules, profiling, debugging, and compilation options.

    Version 11.07.2:
    HTML, PDF or PostScript.
    Snapshot:
    HTML, PDF or PostScript.

  • Mercury Library Reference Manual
    Descriptions of the interfaces to the library which comes with the Mercury distribution.

    Version 11.07.2:
    HTML, PDF or PostScript.
    Snapshot:
    HTML, PDF or PostScript.

  • Prolog to Mercury Transition Guide
    Information to assist programmers to move Prolog programs to Mercury. Includes information on differences in the languages and common programming styles.

    Version 11.07.2:
    HTML, PDF or PostScript.
    Snapshot:
    HTML, PDF or PostScript.

  • Comparing Mercury and Haskell
    A point-by-point comparison of some of the differences between Mercury and Haskell 98, in particular with regard to their type systems.

    Available in HTML only.

  • Frequently Asked Questions
    Information on common programming errors, problems caused by unimplemented Mercury features and where to turn for help.

    Version 11.07.2:
    HTML, PDF or PostScript.
    Snapshot:
    HTML, PDF or PostScript.