However items with the same name but different types are accessed independently. This property is not a necessary conclusion of our requirements, it is more a question of philosophy: we do believe that e.g. the procedure p/0 and the term recorded under the key p/0 do not necessarily have to have the same visibility.
Those rules consist in finding a definition module for a modular item that occurs in a goal called from a given caller module.
The access rules of ECLiPSe are based on the caller module.