NAME
mercury - a purely declarative logic/functional programming language
DESCRIPTION
This manual page documents briefly the mercury system. This manual page was written for the Debian GNU/Linux distribution (but may be used by others), because the original program does not have a manual page. Instead, it has documentation in the GNU Info format; see below.
mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
OPTIONS
The programs follow the usual GNU command line syntax, with long options starting with two dashes (`-'). For a complete description, see the Info files.
- -h, --help
-
Show summary of options.
- -v, --version
-
Show version of program.
SEE ALSO
The programs are documented fully by The Mercury User's Guide, available via the Info system.
AUTHOR
This manual page was written by Milan Zamazal <[email protected]>, for the Debian GNU/Linux system.