Naming is a procedure of associating names with terms and variables; see FDBG Names of Terms. Three predicates are provided to assign and retrieve names, these are the following:
Assigns the atom Name to Term, and a derived name to each variable appearing in Term. If Name is a variable, use a default (generated) name, and return it in Name. See FDBG Name Auto-Generation.
Retrieves Term associated with Name, or enumerates all term-name pairs.
Returns the name associated to Term in Name, if it exists. Otherwise, silently fails.