Pretty Printer Tool

## 15.5 Pretty Printer Tool

The pretty printer library provides a set of predicates for the printing of a file's contents as a file in a number of formats. In particular, an ECLiPSe source file can be converted into an HTML document with proper indentation, syntax colouring, hyperlinks from predicate uses to definition, and hyperlinks to documentation.
The pretty_print/2 predicate is used to print the file, or list of files. A list of options can be given which modifies the format of the output file, its location, etc. The following creates a `pretty` directory in the current directory. Within the pretty directory reside `index.html` and `queen.html`, where `queen.html` is the `queen` module pretty printed in HTML:

>     ?- pretty_printer:pretty_print(queen).
>     Writing /examples/pretty/queen.html