PPT Slide

defun equal ( x y )

( cond

( ( atom x ) ( cond ( ( atom y ) ( eql x y ) )

( T NIL ) ) )

( ( atom y ) NIL )

( ( equal ( car x ) ( car y ) )

( equal ( cdr x ) ( cdr y ) ) )

( T NIL ) ) )

( equal 7 7 )

( equal 7 8 )

( equal 7 ’( a b ) )

( equal ’( a b ) 7 )

( equal ’( a b ) ’( a b ) )

( equal ( cons ’a ’b ) ( cons ’a ’c ) )

( equal ’( 1 2 3 ) ’( 4 5 ) )

1.27

Previous slide

Next slide

Back to first slide

View graphic version