11.3.69 ensure_loaded/1 [ISO]

Synopsis

ensure_loaded(+Files)

Loads the specified Prolog source and/or object file(s) into memory, if not already loaded and up to date.

Arguments

:Files
file_spec or list of file_spec, must be ground

A file specification or a list of file specifications; extension optional.

Description

The recommended style is to use this predicate for non-module-files only, but if any module-files are encountered, their public predicates are imported.

This predicate is defined as if by:

     ensure_loaded(Files) :-
             load_files(Files, [if(changed)]).

Exceptions

See load_files/[2,3].

See Also

ref-lod-lod.


Send feedback on this subject.