Module: builtins

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, 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 nl/0)

\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(Format, ArgList), printf/3, printf_opt/3, and printf/4. For example:

?- printf('%d %t').
%d %t

?- printf('%d %t', [44]).
44 %t

printf(Format, ArgList) is equivalent to printf(Stream_or_Alias, Format, ArgList), where Stream_or_Alias has been set to user_output. 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 ArgList:

ALS Prolog placeholder character extensions:

Char Action
%t print an arbitrary prolog term, as output by write/1
%p execute a custom print action

Placeholder characters supported by ALS Prolog and C:

Char Action
%d print an integer number in decimal;
%o print an integer number in octal;
%x print an integer number in hexadecimal with lower case letters;
%X print an integer number in hexadecimal with upper case letters;
%f print a floating point number (printed in the form dddd.dddddd);
%E print a floating point number (printed in scientific notation: d.dddEddd);
%g print a floating point number (same as f or E, depending on value and precision);
%c print the individual character C corresponding to an integer 0’C;
%s 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 beingoutput 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 %t and %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.

Both 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 write/1, put/1, and nl/0 predicates because the whole message you want to print out can be assembled and carried out by one call to printf.

The %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^PrintGoal or [Stream,Options]^PrintGoal, where Stream is a variable occurring in PrintGoal. When the traversal of Format/placeholders + ArgList/Expressions reaches the %p placeholder, the Stream variable from the corresponding Stream^PrintGoal (or [Stream,Options]^PrintGoal) from ArgList is bound to the output stream being written to by printf/[...] and 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 Stream.


?- printf('hello world').
hello world

?- printf("Hello World!\t Wake Up!\nRise And Shine!").
Hello World!	 Wake Up!
Rise And Shine!

?- printf('Letters: %c%c%c\n', [0'a,0'B,0'c]).
Letters: aBc

?- printf('Contents: %t, Number of items: %d\n', [pocket(keys,wallet,watch), 3]).
Contents: pocket(keys,wallet,watch), Number of items: 3

?- printf('%t', ['ABC']).

?-  printf_opt('%t', ['ABC'], [quoted(true)]).

?- printf('%o %x %X\n', [147,167,167]).
223 a7 A7

?- printf(user_output, '%t', [a*(b+c)]).

?- printf(user_output, '%t', [a*(b+c)], [ignore_ops(true)]).

?- printf('|%12.4f|', [10.3456]).
|     10.3456|

?- printf('|%-10s| indeed', ['Hello']).
|Hello     | indeed

?- printf("|%20.5s|", [geeksforgeeks]).
|               geeks|

In the following examples for %p, we omit the display of the bindings of free variables (including S and Stream) contained in the ArgList element corresponding to %p.

?- sprintf(X, 'Answer: %p', [S^(X is 6*7, write(S,X))]).
X="Answer: 42" 

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)

For the next example, first load the following predicate code:
bar(S, 0).
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: ###

?- 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.