The 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