[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]

load_library_index(?Name, ?Arity, :IndexSpec) 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, +Spec, +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:

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

See also: - make_library_index/1.

index_files(+Files, +Directory, +Out:stream) is det[private]

Write index for Files in Directory to the stream Out.

exports(+File, -Module, -Exports) is det

Get the exports from a library as a list of PIs.

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.

autoload_from(+PI, -LoadModule, -File) is semidet[private]

True when PI can be defined by loading File which is defined the module LoadModule.

autoload_in(+AutoloadFlag, +AutoloadMode, +TargetModule) is semidet[private]

do_autoload(+File, :PI, +LoadModule) is det[private]

Load File, importing PI into the qualified module. File is known to define LoadModule. There are three cases:

The target is the autoload module itself. Uncommon.
We already loaded this module. Note that '$get_predicate_attribute'/3 alone is not enough as it will consider auto-import from user. '$c_current_predicate'/2 verifies the predicate really exists, but doesn't validate that it is defined.
We must load the module and import the target predicate.

autoloadable(:Head, -File) is nondet

True when Head can be autoloaded from File. This implements the predicate_property/2 property autoload(File). The module must be instantiated.

library_info(+Spec, +AutoloadContext, -FullFile, -Module, -Exports)[private]

Find information about a library.

set_autoload(+Value) is det

Hook called from set_prolog_flag/2 when autoloading is switched. If the desired value is false we should materialize all registered requests for autoloading. We must do so before disabling autoloading as loading the files may require autoloading.

register_autoloads(+ListOfPI, +Module, +File, +Context)[private]

Put an autoload flag on all predicates declared using autoload/2 to prevent duplicates or the user defining the same predicate.

require(:ListOfPredIndicators) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

autoload(Arg1)
autoload(Arg1, Arg2)
$autoload(Arg1)