Writef

write_ln( +Term)

  Equivalent to write(Term), nl.

writef( +Atom)

  Equivalent to writef(Atom, []).

writef( +Format, +Arguments)

  Formatted write. 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.

Escape sequences to generate a single special character:

Escape sequences to include arguments from Arguments. Each time a % escape sequence is found in Format the next argument from Arguments is formatted according to the specification.

swritef( -String, +Format, +Arguments)

  Equivalent to writef/3, but ``writes'' the result on String instead of the current output stream. Example:

?- swritef(S, '%15L%w', ['Hello', 'World']).

S = "Hello          World"

swritef( -String, +Format)

  Equivalent to swritef(String, Format, []).