next up previous contents index
Next: Format Up: Formatted Write Previous: Formatted Write   Contents   Index

Writef

write_ln1+Term Equivalent to write(Term), nl. writef1+Atom Equivalent to writef(Atom, []). writef2+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:

  Output a nemline character (see also nl[0,1])
\l Output a line separator (same as )
  Output a carriage-return character (ASCII 13)
  Output the ASCII character TAB (9)

The character is output
% The character is output
  where nnn is an integer (1-3 digits) the character with ASCII code nnn is output (NB : nnn is read as decimal)

Note that \l, and
are interpreted differently when character-escapes are in effect. See charescapes.

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.

write_term2. Mnemonic: old Edinburgh display1.  
an ASCII value)  
second item (an integer)  
be a list of characters)  
$N$ is a decimal number with at least one digit. The item must be an atom, integer, float or string.  
swritef3-String, +Format, +Arguments Equivalent to writef2, but ``writes'' the result on String instead of the current output stream. Example:
\begin{code}
?- swritef(S, '%%15L%w', ['Hello', 'World']).
\par S = ''Hello World''
\end{code}

swritef2-String, +Format Equivalent to swritef(String, Format, []).


next up previous contents index
Next: Format Up: Formatted Write Previous: Formatted Write   Contents   Index
Dr. Richard Botting 2001-12-12