The Mercury Language Reference Manual

BETA TEST version - July, 1995

• Introduction
• Syntax
  • Tokens
  • Terms
  • Items
  • Declarations
  • Facts
  • Rules
  • Goals
  • DCG-rules
  • DCG-goals
  • Implicit quantification
  • Elimination of double negation
• Types
• Modes
• Determinism
  • Determinism categories
  • Determinism checking and inference.
    • Replacing compile-time checking with run-time checking
    • Interfacing nondeterministic code with the real world
• Modules
• Semantics