Identity

The identity of two first-order terms t1 and t2 just means that the two terms are indentical. This is written t1=t2

References

Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.