The current version of SWI-Prolog provides two formatted write predicates. We hope the Prolog community will once define a standard formatted write predicate. Format is an atom whose characters will be printed. Format may contain certain special character sequences which specify certain formatting and substitution actions.
Arguments then provides all the terms required to be output.
See section 2.11.1.1 . Escape sequences to include arguments from Arguments . Write the term, ignoring operators. Nc Write the next item Centered in N columns. Right justified in N columns.