4.6.6.3 Formatted Output

format([Stream,] Control, Arguments) interprets the Arguments according to the Control string and prints the result on the current or given output stream. Alternatively, an output stream can be specified in an initial argument. This predicate is used to produce formatted output, like the following example.

     | ?- toc(1.5).
     Table of Contents                                               i

     ************************ NICE TABLE *************************
     *                                                           *
     *      Right aligned      Centered      Left aligned        *
     *                123         45         678                 *
     *                  1        2345        6789                *
     *************************************************************

For details, including the code to produce this example, see the example program in the reference page for format/[2,3].