Previous Up Next

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 subdirectory pretty 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

Previous Up Next