[ Obsolete | Reference Manual | Alphabetic Index ]

lib(++LibraryName, +ModuleName)

The library LibraryName is loaded into the module ModuleName if not loaded already.

LibraryName: String or Atom.
ModuleName: Atom.

This built-in predicate is obsolete!

Description

lib(Lib, Mod) is identical to use_module(library(Lib))@Mod.

Modes and Determinism

lib(++, +) is det

Exceptions

(4) instantiation fault: LibraryName is not instantiated.
(5) type error: LibraryName is neither a string nor an atom.
(173) library not found: The library file LibraryName cannot be found.

See Also

ensure_loaded / 1, lib / 1, use_module / 1, @ / 2