next up previous contents index
Next: Defining Terms Up: The Term Processor Kimwitu Previous: Introduction


This section gives the input structure of Kimwitu. We describe how terms are defined, how attributes of terms are defined, how the storage strategy of terms can be specified, and how functions and rewrite rules on terms can be written.