Next: The Import Constructor
Up: Importing New Elements
Previous: Reserve Proviso
Generalize the definitions of terms and update instructions in 3.1 as
follows:
- allow terms to have variables, and
- forbid mentioning Reserve.
Variables are often treated as auxiliary nullary function names below but
a variable cannot be the subject of an update instruction. The
reason for forbidding to mention Reserve in terms and update instructions
is discussed below.
Rules are constructed from update instructions by means of three
rule constructors: the sequence constructor, the conditional constructor
and the import constructor.