Atoms

Atoms are strings of letters, digits, and underscore marks _ that begin with a lower-case letter, or strings of any characters enclosed in single quotation marks. Atoms cannot contain more than 1000 characters. The backslash character '\' is used as an escape character. This means that the atom 'a\'b' contains three characters, namely a, ', and b.



Neng-Fa Zhou 2013-01-25