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.