[ Obsolete | The ECLiPSe Built-In Predicates | 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