Das Prädikat even? prüft, ob eine Ganzzahl eine gerade Zahl ist. Es beruht auf not und odd?.

(defproc even? (n)
  (not (odd? n)))