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