10.38.3.2 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:
- 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
- Returns the name associated to Term in Name, if it exists.
Otherwise, silently fails.
Send feedback on this subject.