Terms

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