printf/1 — print out a string to the current output
printf/2 — print out a string with arguments
printf/3 — print out a string with a format and arguments
printf/4 — print out string with format, arguments, options
printf_opt/3 — print out string with format, arguments, options
printf(Format) printf(Format, ArgList) printf(Stream_or_Alias, Format, ArgList) printf_opt(Format, ArgList, WriteOptions) printf(Stream_or_Alias, Format, ArgList, WriteOptions)
Format can be either a (quoted) prolog atom or prolog string describing output to be created. It can contain ordinary characters to be printed as is, format characters (e.g., %t, %d, …) which can be used to interpret expressions appearing on
ArgList, and special “backslash expressions” (e.g., \n, \t,, …) for outputting special expressions.
printf(Format) outputs the atom
Format as is, with the exception that the special “backslash expressions” are interpreted as follows:
\n – prints a newline character (the same character as output by
\t – prints a tab character
\v – prints a vertical tab character
\b – prints a backspace character
\r – prints a carriage return character
\\ – prints a backslash
\% – prints a percent sign
Any format characters (to be listed below) appearing in
Format will be output unchanged by
printf(Format). And any format characters appearing in
Format which do not correspond to an element of
ArgList will be output unchanged by
printf/4. For example:
?- printf('%d %t'). %d %t yes. ?- printf('%d %t', ). 44 %t yes.
printf(Format, ArgList) is equivalent to
printf(Stream_or_Alias, Format, ArgList), where
Stream_or_Alias has been set to
ArgList is a list of prolog expressions which will be output as elements of the atom
Format being output. Conceptually, one scans
Format from left-to-right, assembling the list of format expressions occurring in
Format, and matching them against the corresponding prolog expression in
ArgList. The basic format characters are listed below, together with their effects on the matching prolog expressions in
ALS Prolog placeholder character extensions:
||print an arbitrary prolog term, as output by write/1|
||execute a custom print action|
Placeholder characters supported by ALS Prolog and C:
||print an integer number in decimal;|
||print an integer number in octal;|
||print an integer number in hexadecimal with lower case letters;|
||print an integer number in hexadecimal with upper case letters;|
||print a floating point number (printed in the form dddd.dddddd);|
||print a floating point number (printed in scientific notation: d.dddEddd);|
||print a floating point number (same as f or E, depending on value and precision);|
||print the individual character C corresponding to an integer 0’C;|
||print a prolog string or atom;|
Integer and floating point numbers are preceded by a minus sign if the number is negative.
The action of placeholders can be modified by extent expressions, which appear between the
% sign and the placeholder type letter (
t, d, ...). An extent expression is defined as either a sequence of digits, or two sequences of digits, separated by a period (
.). Any extent expression prefixed by a minus sign is also an extent expression. A single sequence of digits is call a width modifier, while in a pair of expressions, the portion following the period is call the precision modifier. For example,
%5d indicates that the integer being output should occupy at least 5 spaces. And
%08.2f indicates that the floating point number being output should occupy 8 spaces, with 2 digits following the decimal point. (See examples below). More exotic modifiers can be found in printf format string; see also Format specifiers in C.
The actions of
%p are defined by the builtin ALS Prolog machinery. The actions all other placeholders, include the effects of extent expressions are defined by passing them off to the underlying C machinery.
printf_opt(Format, ArgList, WriteOptions) and
printf(Stream_or_Alias, Format, ArgList, WriteOptions) allow one to apply write options (see Write options).
Using printf is generally much easier than using the equivalent
nl/0 predicates because the whole message you want to print out can be assembled and carried out by one call to
%p placeholder allows one to request execution of a custom print action in the following sense. The element of
ArgList corresponding to a
%p placeholder should be of the form
Stream is a variable occurring in
PrintGoal. When the traversal of
ArgList/Expressions reaches the
%p placeholder, the
Stream variable from the corresponding
ArgList is bound to the output stream being written to by
PrintGoal is executed. As seen in the last three examples below, the effect may be to output a value at the
%p placeholder point, or it may be to carry out a more complex computation yielding a complex output on
?- printf('hello world'). hello world yes. ?- printf("Hello World!\t Wake Up!\nRise And Shine!"). Hello World! Wake Up! Rise And Shine! yes. ?- printf('Letters: %c%c%c\n', [0'a,0'B,0'c]). Letters: aBc yes. ?- printf('Contents: %t, Number of items: %d\n', [pocket(keys,wallet,watch), 3]). Contents: pocket(keys,wallet,watch), Number of items: 3 yes. ?- printf('%t', ['ABC']). ABC yes. ?- printf_opt('%t', ['ABC'], [quoted(true)]). 'ABC' yes. ?- printf('%o %x %X\n', [147,167,167]). 223 a7 A7 yes. ?- printf(user_output, '%t', [a*(b+c)]). a*(b+c) yes. ?- printf(user_output, '%t', [a*(b+c)], [ignore_ops(true)]). *(a,+(b,c)) yes. ?- printf('|%12.4f|', [10.3456]). | 10.3456| yes. ?- printf('|%-10s| indeed', ['Hello']). |Hello | indeed yes. ?- printf("|%20.5s|", [geeksforgeeks]). | geeks| yes.
In the following examples for
%p, we omit the display of the bindings of free variables (including
Stream) contained in the
ArgList element corresponding to
?- sprintf(X, 'Answer: %p', [S^(X is 6*7, write(S,X))]). X="Answer: 42" yes.
The next example makes use of columns/1 from the library.
?- printf("Game Summary:\n%p(avg score)", [S^columns([[usa,3.4],[uk,2.8]], S)]). Game Summary: usa 3.4 uk 2.8 (avg score) yes.
For the next example, first load the following predicate code:
bar(S, N) :- put(S, 0’#), NN is N-1, bar(S, NN).
?- printf('Rain: %p\nSnow: %p\n', [S^(user:bar(S,10)), S^(user:bar(S,3))]). Rain: ########## Snow: ### yes. ?- printf('\nThe required funds are %p annually.\n', ?_ [Stream^( Euros = 600000, USD is Euros/1.14, write(Stream, Euros-euros), ?_ write(Stream, ' ($'),write(Stream,USD), put(Stream, 0')) )]). The required funds are 600000-euros ($526315.7895) annually. yes.