Top-Down Context

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