(DEFUN equal_lists (lis1 lis2)
(COND
        ((ATOM lis1) (EQ lis1 lis2))
        ((ATOM lis2) NIL)
        ((equal_lists (CAR lis1) (CAR lis2))
        (equal_lists (CDR lis1) (CDR lis2)))
        (T NIL)
    )
)