The data objects of the language are called terms. A term is either a constant, a variable or a compound term.