How to enumerate all loaded modules?

[jjtolton]

With current_predicate/2 we can see the predicates attached to a module:

?- current_predicate(lists:P/N).
%@    P = maplist, N = 2
%@ ;  P = maplist, N = 3
%@ ;  P = append, N = 3
%@ ;  P = member, N = 2
%@ ;  ... .

Unfortunately, it's not fully general:

?- current_predicate(M:P/N).
%@    error(type_error(predicate_indicator,_668961:_668964/_668965),current_predicate/1).

?- current_predicate(M:member/2).
%@    error(type_error(predicate_indicator,_668961:member/2),current_predicate/1).

I've looked through the loader.pl code, but I haven't been able to identify anything that works.

The thing that looks closest I could find is:

prolog_load_context(module, Module) :-
    %% The source module (see ref-mod-mne). This is useful for example
    %% if you are defining clauses for user:term_expansion/6 and need
    %% to access the source module at compile time.
    '$prolog_lc_module'(Module).

But that seems to only work during whatever "compile time" is, but that's a separate question!