module_property/3¶

module_property( +Module, ? Property )* is nondet

Enumerate non-deterministically the main properties of Module .

Reports the following properties of Module:

• class( ?Class ): whether it is a system, library, or user module.

• line_count(?Ls): number of lines in source file (if there is one).

888 + file(?F): source file for Module (if there is one).

• exports(-Es): list of all predicate symbols and operator symbols exported or re-exported by this module.