Major Section: PROGRAMMING
The predicate atom-listp tests whether its argument is a true-listp of atoms, i.e., of non-conses.
atom-listp
true-listp