2.2 Compiling single-module programs

Given a Mercury program that consists of single module, which is stored in a file named e.g. prog.m, you can compile it using the command

mmc prog.m

or, more generally,

mmc list of options prog.m

If the single module inside prog.m is also named prog, then you can also compile it using

mmc list of options prog

which specifies the module name, not the (matching) file name.