対話によるCommon Lisp 10.4-12

CL-USER> (setf x '(10 20 30))
(10 20 30)
CL-USER> (setf (first x) 'ten)
TEN
CL-USER> x
(TEN 20 30)
CL-USER> (setf (rest x) '(nis))
(NIS)
CL-USER> x
(TEN NIS)
CL-USER> (setf x (cons 'table x))
(TABLE TEN NIS)
CL-USER> (push 'table x)
(TABLE TABLE TEN NIS)
CL-USER> (pop x)
TABLE
CL-USER> x
(TABLE TEN NIS)
CL-USER> (setf x 10)
10
CL-USER> (incf x 5)
15
CL-USER> (decf x)
14
CL-USER> (setf x 1 y 2)
2
CL-USER> x
1
CL-USER> y
2
CL-USER> (psetf x (+ x 1) y (+ x 1))
NIL
CL-USER> x
2
CL-USER> y
2
CL-USER> 
user=> (doc setf)
java.lang.Exception: Unable to resolve var: setf in this context (NO_SOURCE_FILE
:1)
user=> (doc incf)
java.lang.Exception: Unable to resolve var: incf in this context (NO_SOURCE_FILE
:2)
user=> (doc decf)
java.lang.Exception: Unable to resolve var: decf in this context (NO_SOURCE_FILE
:3)
user=> (doc psetf)
java.lang.Exception: Unable to resolve var: psetf in this context (NO_SOURCE_FIL
E:4)
user=>