next up previous index
Next: Basic Properties Up: Module System Previous: Module System   Index

Terminology

Modular Item:
a modular item is a Prolog item that is affected by the module system. In ECLiPSe the different types of modular items are e.g. predicate, operator, record, array and global variable.

Visibility:
the visibility of a modular item specifies under what conditions the item is visible from a given module. The visibility of a modular item is defined by Prolog predicates called visibility declarations.

Module Interface:
the module interface is the set of declarations and definitions that defines the connection of a module to the others. Parts of the interface can be dynamically modified.

Module Body:
the module body is the set of modular items that are defined in a module.

Definition Module:
the definition module of a modular item is the module where this item is defined. The definition module is a static notion.

Caller Module:
the caller module of a goal is the definition module of the predicate that calls that goal. The caller module is a dynamic notion.




1999-08-06