Re: What should the semantics of hierarchical modules be?


Actually, thinking about it more I've come to the conclusion that
a.b.pred should mean that pred/0 must exist in module a.b itself ie
that the search through parent modules and imported modules would only
occur if an unqualified predicate is given ie ?- pred. This solves the
other questions in my last post.
Also, I've decided not to have a global scope resolution operator (the
prefix dot). I had taken this from C++, but both Java and C# don't seem
to need this.
For anyone else who might be implementing a hierarchical module system
I found a good description of a name resolution algorithm in section
3.8 of the C# language definition.

Regards, Brian.

.