File ISO 8.4.1 lexical

1 Predicate == /2

2 Predicate \== /2

3 Predicate same_term/2

4 Predicate hash_code/2

5 Legend