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.