Das Prädikat odd? prüft, ob eine Ganzzahl eine ungerade Zahl ist. Es beruht auf logbit?.

(defproc odd? (n)
  (logbit? 0 n))