Next: Using the macros
Up: ECLiPSe Macros
Previous: ECLiPSe Macros
  Index
Introduction
ECLiPSe provides a very general mechanism to perform macro expansion
of Prolog terms.
Macro expansion can be performed in two situations:
- read macros
-
they are applied just after a Prolog term has been read by the ECLiPSe
parser, i.e. during compilation or in a read predicate
- write macros
-
they are applied just before a Prolog term is printed by one of the
output predicates
Macros are attached to classes of terms specified by their functors
or by their type.
Macros obey the module system's visibility rules.
They may be either locally (default) or globally visible.
The macro expansion is performed by a user-defined Prolog predicate.
1999-08-06