The Mercury Language Reference Manual
BETA TEST version - July, 1995
Fergus Henderson
Thomas Conway
Zoltan Somogyi
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
This document was generated using the
texi2html
translator version 1.31.