[ Predicate Database and Compiler | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
Makes the library LibraryName available in the current module if not loaded
- String or atom.
Used to load the library LibraryName into the system if it has not
already been loaded. The currently used Prolog suffix(es) is appended
to LibraryName and the resulting library is loaded if it exists.
The search path used when loading libraries is specified by the global
flag library_path using the get_flag/2 and set_flag/2 predicates. This
flag contains a list of strings containing the pathnames of the
directories to be searched when loading a library file. User libraries
may be added to the system simply by copying the desired file into the
ECLiPSe library directory. Alternatively the library_path flag may be
updated to point at a number of user specific directories.
lib(Lib) is identical to use_module(library(Lib)).
Modes and Determinism
This predicate is sensitive to its module context (tool predicate, see @/2).
- (4) instantiation fault
- LibraryName is not instantiated.
- (5) type error
- LibraryName is neither a string nor an atom.
- (80) not a module
- Library file does not contain a matching module.
- (173) library not found
- Library file LibraryName not found.
loading the library /usr/local/ECLIPSE/lib/sorts.pl
yes. % library already loaded - succeeds
lib(X). (Error 4).
lib(1). (Error 5).
lib(no_lib). (Error 173).
ensure_loaded / 1, existing_file / 4, get_flag / 2, set_flag / 2, use_module / 1