EQ: equality in the strongest sense

• The predicate (EQ A B) is true if and only if A and B point to the same location in memory

(setf A ’(X Y Z))

(setf B A)

(eq A B) => T

(setf A ’(a b c))

(setf B ’(a b c))

(eq A B) => NIL

Previous slide

Next slide

Back to first slide

View graphic version