Load modules in a module exactly once?

[jjtolton]

:- module(environment, /*...*/).

%% initialize global environment exactly once
term_expansion((:-> establish_context), (:-> context_established))
:-
        write('establishing context, you should only see this once!'),
        empty_assoc(Assoc),
        bb_put(global_context, Assoc).
            
:-> establish_context.

elsewhere...

:- module(common, /*...*/).
:- use_module(environment).
:- use_module(environment).

?- ['/home/jay/_project/tai/jlog/src/jlog/agent/bucketdomain/ediprolog-temp'].
establishing context, you should only see this once!establishing context, you should only see this once!   true.

😬

Is there any reason to consult a module multiple times? I imagine it could be consulted and then reference shared on subsequent look-ups, even across files.

[hurufu]

Be careful with expansion, currently sometimes it is called multiple times for the same goal #2603

[hurufu]

So it is not really good idea to rely on side-effects during goal (or term) expansion right now.