Modules

Predicates

create_module(+Module)

Create a module at runtime

create_module(+Module, ++Exports, ++Imports)

Create a module at runtime, with given exports and imports.

current_module(?Module)

Succeeds if Module is an existing module.

erase_module(+Module)

Erase the given module Module.

export ++SpecList

Exports from the context module all items specified by SpecList.

get_module_info(+Module, ?What, -Info)

Retrieves information about a loaded module.

import +Module, import +PredSpecs from +Module

Import a module, or import certain procedures from a module.

local +SpecList

Declare all items specified by SpecList as local to the context module.

lock

Locks access to internals of the current module

lock_pass(+)

Locks access to internals of the current module

module(+Module)

Begin of the definition of module Module.

module(+Module, ++Exports, ++Language)

Begin the definition of module Module, define some of its exports and the language it is written in.

reexport +Module, reexport +SpecList from +Module, reexport +Module except +SpecList

Reexports a module's interface or a subset of it.

tool(++PredSpecI, ++PredSpecB)

Declares PredSpecI as a tool interface procedure and PredSpecB as its body procedure.

tool_body(++PredSpecI, -PredSpecB, -Module)

Succeeds if PredSpecI is a tool interface procedure, PredSpecB is its body procedure, and Module the module where it is defined.

unlock(+Module, +Password)

Unlocks the access to the module Module, if the password given in Password is correct

use_module(++ModuleFile)

Load and import the module from the given ModuleFile.