PredSpecOrSpecs is a predicate spec or a list or a conjunction of such. This file is taken to contain relations between all exported predicates of the module files in the library directory with its subdirectories. The first index entry for the requested predicate will be used to determine the file to load. An exception is raised if the predicate can't be located. The internal index is removed upon reinitialization.
Module is a module in the system.
It can be used to backtrack through all modules present in the system. Module is the module defined in File . The type-in module is set to Module . See section Basic Concepts .