name

The simple, human-readable name of this variable, as it would appear in Prolog source (e.g. "X"). This is not used to determine variable identity/equality; see completeName for that.