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