Did you know ... | Search Documentation: |
Predicate portray_clause/2 |
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 numbervars(true)
from
write_term/2) as
well as by using the variable_names(Bindings)
option from write_term/2.
Options processed in addition to write_term/2 options:
0
.user
.