The data objects of the HiLog language are called terms.
A HiLog term can be constructed from any logical symbol or a term
followed by any finite number of arguments. In any case, a term
is either a constant, a variable, or a compound term.
A constant is either a number (integer or floating-point) or an
atom. Constants are definite elementary objects, and correspond to
proper nouns in natural language.