[not loaded]autoload.pl

 $find_library(+Module, +Name, +Arity, -LoadModule, -Library) is semidet

Locate a predicate in the library. Name and arity are the name and arity of the predicate searched for. `Module' is the preferred target module. The return values are the full path name (excluding extension) of the library and module declared in that file.

 $in_library(+Name, +Arity, -Path) is semidet

$in_library(-Name, -Arity, -Path) is nondet

Is true if Name/Arity is in the autoload libraries.

 $define_predicate(:Head)

Make sure PredInd can be called. First test if the predicate is defined. If not, invoke the autoloader.

 $update_library_index

Called from make/0 to update the index of the library for each library directory that has a writable index. Note that in the Windows version access_file/2 is mostly bogus. We assert silent/0 to suppress error messages.

 writable_indexed_directory(-Dir) is nondet[private]

True when Dir is an indexed library directory with a writable index, i.e., an index that can be updated.

 reload_library_index

Reload the index on the next call

 load_library_index(?Name, ?Arity) is det[private]

Try to find Name/Arity in the library. If the predicate is there, we are happy. If not, we check whether the set of loaded libraries has changed and if so we reload the index.

 index_file_name(-IndexFile, +Options) is nondet[private]

True if IndexFile is an autoload index file. Options is passed to absolute_file_name/3. This predicate searches the path autoload.

See also

- file_search_path/2.

 make_library_index(+Dir) is det

Create an index for autoloading from the directory Dir. The index file is called INDEX.pl. In Dir contains a file MKINDEX.pl, this file is loaded and we assume that the index is created by directives that appearin this file. Otherwise, all source files are scanned for their module-header and all exported predicates are added to the autoload index.

See also

- make_library_index/2

 make_library_index(+Dir, +Patterns:list(atom)) is det

Create an autoload index INDEX.pl for Dir by scanning all files that match any of the file-patterns in Patterns. Typically, this appears as a directive in MKINDEX.pl. For example:

:- make_library_index(., ['*.pl']).

See also

- make_library_index/1.

 autoload_path(+Path) is det

Add Path to the libraries that are used by the autoloader. This extends the search path autoload and reloads the library index. For example:

:- autoload_path(library(http)).

If this call appears as a directive, it is term-expanded into a clause for file_search_path/2 and a directive calling reload_library_index/0. This keeps source information and allows for removing this directive.