Sometimes context information can be sent top-down to allow transformations to be made safely.
( (if (not (not ?p)) ?x) (if ?p ?x) ) ( (progn (rplaca ?x ?y) (progn ?u . ?z) (setf (car ?x) ?y) ?u . ?z) )
Contents    Page-10    Prev    Next    Page+10    Index