string(+Content,
+Args, +Binding, -DOM)Implements the quasi quotation syntax string. If the first
character of the content is a newline (i.e., there is a newline
immediately after the || token) this first uses
dedent_lines/3 to
the remove common white space prefix from the lines. This is called with
the option chars("\s\t|"), i.e., also removing |
characters and tab(8).
If the quasi quotation syntax carries arguments (e.g., string(To)),
the string is compiled into a function that produces the result of
interpolating the arguments into the template. See user functions on
dict objects. If there are no arguments, the result is simply the final
string.
- See also
- - interpolate_string/4
for the interpolation syntax.
- Section for examples and discussion.
- To be done
- Specify tab width and allow for {@Goal} templates.
