
lib(+LibraryName,+ModuleName)

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



Arguments
   +LibraryName        String or Atom.
   +ModuleName         Atom.

Type
   Obsolete

Description

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


Resatisfiable
      No

Fail Conditions
      None



Exceptions
     4 --- LibraryName is not instantiated.
     5 --- LibraryName is neither a string nor an atom.
   173 --- The library file LibraryName cannot be found.

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