Availability:built-in
[semidet]same_term(@T1,
@T2)True if T1 and T2 are equivalent and will remain
equivalent, even if setarg/3
is used on either of them. This means
T1 and T2 are the same variable, equivalent atomic
data or a compound term allocated at the same address.