Ako základ možno použiť
schému predikát (every).
Podobná štruktúra ako v príklade everynum
,
ale sú tu iste zmeny. A treba dať pozor na poradie testov v
cond.
(defun everyat (sv)
(cond ((NUMBERP sv) NIL)
((ATOM sv) T)
(T (AND (everyat (first sv)) (everyat (rest sv))))
)
)
; Príklady:
(everyat '((a b (2 (c))) (d e))) ; -> NIL
(everyat '((a b (x (c))) (d e))) ; -> T