SWI-Prolog -- module

Documentation
- Reference manual
  - Modules
    - Module properties
- Packages

Availability:built-in

module_property(?Module, ?Property)

True if Property is a property of Module. Defined properties are:

class(-Class)

True when Class is the class of the module. Defined classes are

user: Default for user-defined modules.
system: Module system and modules from <home>/boot.
library: Other modules from the system directories.
temporary: Module is temporary.
test: Modules that create tests.
development: Modules that only support the development environment.

file(?File)

True if Module was loaded from File.

line_count(-Line)

True if Module was loaded from the N-th line of file.

exports(-ListOfPredicateIndicators)

True if Module exports the given predicates. Predicate indicators are in canonical form (i.e., always using name/arity and never the DCG form name//arity). Future versions may also use the DCG form and include public operators. See also predicate_property/2.

exported_operators(-ListOfOperators)

True if Module exports the given operators. Each exported operator is represented as a term op(Pri,Assoc,Name).

program_size(-Bytes)

Memory (in bytes) used for storing the predicates of this module. This figure includes the predicate header and clauses. Future versions might give a more precise number, including e.g., the clause index tables.

program_space(-Bytes)

If present, this number limits the program_size. See set_module/1.

last_modified_generation(-Generation)

Integer expression the last database generation where a clause was added or removed from a predicate that is implemented in this module. See also predicate_property/2.