Availability:built-in
[multi]default_module(+Module,
-Default)True if predicates and operators in Default are visible in
Module. Modules are returned in the same search order used
for predicates and operators. That is, Default is first
unified with Module, followed by the depth-first transitive
closure of import_module/2.