Did you know ... Search Documentation:
Predicate term_to_string/2
 term_to_string(+Term, -String) is det[private]
Convert Term, possibly holding variables, into a canonical string using A, B, ... for variables and _ for singletons.