** Next:** Integers
** Up:** Syntax
** Previous:** Syntax
** Contents**
** Index**

#

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.

**Subsections**

*Baoqiu Cui*

*2000-04-23*