Предикаты над списками

(null x) ⇒ T, если x - пустой список.
(null x) ⇒ NIL, если x - непустой список или атом.
(listp x) ⇒ T, если x - произвольный список
(сконструирован с помощью list).
(consp x) ⇒ T, если x - непустой список
(сконструирован с помощью cons).