Availability:built-in
reload_library_indexForce 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.