Naming Terms

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:


fdbg_assign_name(+Term, ?Name)
Assigns the atom Name to Term, and a derived name to each variable appearing in Term. If Name is a variable, then use a default (generated) name, and return it in Name. See FDBG Name Auto-Generation.
fdbg_current_name(?Term, ?Name)
Retrieves Term associated with Name, or enumerates all term-name pairs.
fdbg_get_name(+Term, -Name)
Returns the name associated to Term in Name, if it exists. Otherwise, silently fails.