:- use_module(library(listing)).(can be autoloaded)
Variable names are by default generated using numbervars/4
using the option
singletons(true). This names the variables A, B,
... and the singletons _. Variables can be named explicitly
by binding them to a term
'$VAR'(Name), where Name
is an atom denoting a valid variable name (see the option
well as by using the
variable_names(Bindings) option from write_term/2.
Options processed in addition to write_term/2 options:
- See above and write_term/2.
- Left margin used for the clause. Default
- Module used to determine whether a goal resolves to a meta