Recognizer for atoms
(atom x) is true if and only if x is an atom, i.e., not a
Atom has a guard of t, and is a Common Lisp function. See
any Common Lisp documentation for more information.
(defun atom (x)
(declare (xargs :guard t))
(not (consp x)))
- Recognizer for a true list of atoms