Základom je schéma zobrazenie pre ľubovolnú úroveň. Všetky prvky1 budú po skončení funkcie prvky2.
(defun zmen (p1 p2 sv)
(cond ((equal sv p1) p2)
((ATOM sv) sv)
(T (cons (zmen p1 p2 (first sv)) (zmen p1 p2 (rest sv))))
)
)
; Príklad:
(zmen 'X 'Y '(X 1 (2 X (Z 3)))) ; -> (Y 1 (2 Y (Z 3)))