next up previous contents index
Next: Integers Up: Syntax Previous: Syntax   Contents   Index


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.


Baoqiu Cui