Terms

A term is either a constant, a variable, or a structure. There are two kinds of constants: atoms and numbers.