Next: , Previous: , Up: ref-syn-trm   [Contents][Index]


4.1.2.4 Atoms

An atom is identified by its name, which is a sequence characters, and can be written in any of the following forms:

Examples of atoms are:

a   void   =   :=   'Anything in quotes'   []

Please note: It is recommended that you do not invent atoms beginning with the character ‘$’, since it is possible that such names may conflict with the names of atoms having special significance for certain built-in predicates.



Send feedback on this subject.