11.3.70 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, then 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.