The ISO standard for Prolog modules (ISO/IEC 13211-2) was never widely adopted, instead it seems almost all Prolog systems in wide use today use a Quintus/SICStus style module system (SWI, SICStus, ...) and basically all new Prolog systems being developed are also adopting it (Scryer, Trealla, ...).
So, is there any plan to standardize the Quintus/SICStus style module system (or a subset of it) in ISO Prolog?