Das Prädikat ATOM liefert den Wert T, falls das Funktionsargument ein Atom ist. Für alle anderen Funktionsargumente ist das Ergebnis NIL.