10.15.2.6 Name Auto-Generation
There are two cases when a name is automatically generated.
- When a name is assigned to a compound term by the user, each
variable appearing in it is assigned a so called derived
name, which is created by appending a variant of the selector of the
variable to the original name.
For example, the call:
fdbg_assign_name(bar(A, [B, C], foobar(D, E)), foo)
will create the following name/term entries:
bar(A, [B, C], foobar(D, E))
See FDBG Naming Terms.
- If, during the annotation of a term (see FDBG Annotation) an
unnamed constraint variable is found, it is assigned a unique
“anonymous” name. This name consists of the prefix ‘fdvar’, an
underscore character, and an integer. The integer is automatically
incremented when necessary.
Send feedback on this subject.