Documentation

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

The HTML versions are set up for browsing, however, if you would prefer a copy of the entire document, links to PDF versions are provided.

• 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.
  Current Release HTML PDF
  Rotd (snapshot) HTML PDF

• Mercury User's Guide

  Information on the Mercury compiler, including how to compile, using multiple modules, profiling, debugging, and compilation options.
  Current Release HTML PDF
  Rotd (snapshot) HTML PDF

• Mercury Library Reference Manual

  Descriptions of the interfaces to the library which comes with the Mercury distribution.
  Current Release HTML PDF
  Rotd (snapshot) HTML PDF

• 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.
  Current Release HTML PDF
  Rotd (snapshot) HTML PDF

• 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.
  HTML

• Frequently Asked Questions

  Information on common programming errors, problems caused by unimplemented Mercury features and where to turn for help.
  HTML PDF