The Mercury Project
Documentation

[Mercury Logo]
Home

News

Information

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

Mailing Lists

Back-ends

Download

Related

Contact

Search

Bug Database

This page contains documentation for Mercury version 0.13.1, 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 Postscript, gzipped Postscript or PDF.

  • 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 0.13.1:
    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 0.13.1:
    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 0.13.1:
    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 0.13.1:
    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 0.13.1:
    HTML, PDF or Postscript.
    Snapshot:
    HTML, PDF or Postscript.