Next: Basic Properties
Up: Module System
Previous: Module System
  Index
- 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