Next: ref-syn-trm-var, Previous: ref-syn-trm-flo, Up: ref-syn-trm [Contents][Index]
An atom is identified by its name, which is a sequence characters, and can be written in any of the following forms:
+ - * / \ ^ < > = ~ : . ? @ # $ &
'can\'t'
.
The characters that are allowed to occur in such a quoted atom are
restricted to a subset of Unicode; see ref-syn-syn-tok.
! ; [] {}
Note that the bracket pairs are special: ‘[]’ and ‘{}’ are
atoms but ‘[’, ‘]’, ‘{’, and ‘}’ are not. The
form [X]
is a special notation for lists (see
ref-syn-cpt-lis) as an alternative to .(X,[])
, and
the form {X}
is allowed as an alternative to
{}(X)
.
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.