Description
write_term( +term, +stream_options )
write_term(Term, Options) writes the Prolog term Term into the current output stream. The writing of the term is controlled by the options from the list Options. The available values for Options can be checked in the next section.
Options
write_term accepts a list of options as its last argument. These options are:
- quoted(Bool). If Bool is true, atoms and functions which need quoted will be quoted. The default value of Bool is false.
- ignore_ops(Bool). If Bool is true, all the terms will be written using the functional notation form (functor(args ... )). The default value of Bool is false.
- numbervars(Bool). If Bool is true, terms with the form $VAR(N), where N is a positive integer, will be written as a variable name. N will be transformed into a variable name of the form αβ, where α is the i + 1 capital letter of the alphabet and β is the integer division of i.
i = N mod 26;
j = N // 26;
This way, $VAR(0) would be written as A, $VAR(25) would be written as Z, $VAR(26) would be written as A1, and so on. The default value of Bool is false.