9 A Closer Look at Terms

This lecture has three main goals:

1. To introduce the == predicate.

2. To take a closer look at term structure.

3. To introduce operators.

• 9.1 Comparing terms

• 9.2 Terms with a special notation
  • 9.2.1 Arithmetic terms
  • 9.2.2 Lists as terms

• 9.3 Examining Terms
  • 9.3.1 Types of Terms
  • 9.3.2 The Structure of Terms

• 9.4 Operators
  • 9.4.1 Properties of operators
  • 9.4.2 Defining operators

• 9.5 Exercises

• 9.6 Practical Session