2.14 Automatic loading of libraries
All Application Manual Name SummaryHelp

Availability:built-in
Sourcereload_library_index
Force reloading the index after modifying the set of library directories by changing the rules for library_directory/1, file_search_path/2, adding or deleting INDEX.pl files. This predicate does not update the INDEX.pl files. Check make_library_index/[1,2] and make/0 for updating the index files.

Normally, the index is reloaded automatically if a predicate cannot be found in the index and the set of library directories has changed. Using reload_library_index/0 is necessary if directories are removed or the order of the library directories is changed.