This predicate attempts to close all modules, except the 'system' module. First all instances of the modules are deleted and then the modules are closed.
see also: active_module/1 check_singleton/1 consult/0 consult/1 consult/3 create_module/1 create_module/2 ensure_loaded/1 include/1 module/3 module_name/2 modules open_module/0 open_module/1 open_module/3 open_module_search/3 open_standard_module/2 save_module/1 save_module/2 save_module/3 set_active_module/0 set_active_module/1 this_module/3
| Examples | |
| close_all_modules. | closes all modules except the 'system' module |
| Exceptions | |
| the Module may not be closed because it contains clauses which are still used | a permission_error(close_module, Module) exception is thrown, Module is unified with the name of the module |
| clauses of the Module are used for proving current goal | a permission_error(close_module, Module) exception is thrown, Module is unified with the name of the module |