4.1 Terms

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.