next up previous contents index
Next: Variables Up: Terms Previous: Floating-point Numbers   Contents   Index

Atoms

A HiLog atom is identified by its name, which is a sequence of up to 1000 characters (other than the null character). Just like a Prolog atom, a HiLog atom can be written in any of the following forms:

Examples of HiLog atoms are:


               h   foo   ^=..   ::=   'I am also a HiLog atom'   []


next up previous contents index
Next: Variables Up: Terms Previous: Floating-point Numbers   Contents   Index
Baoqiu Cui
2000-04-23