���������� ������� � ˳��

(DEFUN name (arg1 arg2 ...)
       task1
       task 2
. . . . .  )

$ (DEFUN FIRST (lst)		$ (FIRST �(q w e r t y))
   (CAR lst) )			   q
$ (DEFUN THIRD (lst)		$ (THIRD �(q w e r t y))
   (CADDR lst) )		   e

$ (DEFUN NULL (obj)	$ (NULL �(q w e r)) 	$ (NULL (CDR �(r)))
   (EQL obj NIL) )	F			T

$ (DEFUN LISTP (obj)		$ (DEFUN LISTP (obj)
   ((ATOM obj) NIL)		((NULL obj))
   T )				((ATOM obj) NIL)
				T )

$ (LISTP �tree)	$ (LISTP �())		$ (LISTP �(q w e r t y))
NIL 		T			T

$ (DEFUN sm (lst)		$ (sm �())		$ (sm �(q w e))
   ((NULL lst) 10 1)		1			12
   (SETQ b 2)
   ((CDR lst) 12)		$ (sm �(i))		$ (sm �g)
   (SETQ b 3) )			3			3

$ (LIST �a �b �c �d)	$ (LIST �a �(b c) �d)	$ (LIST)
(a b c d)		(a (b c) d)		NIL

$ (DEFUN MEMBER (nam lst)		$ (DEFUUN MEMBER (nam lst)
    ((EQL nam (FIRST lst)))			((NULL lst) NIL)
    ((EQL nam (SECOND lst)))			((EQL nam (CAR lst)) T)
    ((EQL nam (THIRD lst)))			(MEMBER nam (CDR lst)) )
    ((EQL nam (THIRD (CAR lst))))
  .  .  .  .  .  .  .  .  .  .  .  .  . .  .

$ (DEFUN REMBER  (obj lst)		(DEFUN REMBER-ALL (obj lst)
	((NULL lst) NIL)			((NULL lst) NIL)
	((EQL obj (CAR lst)) (CDR lst))		((EQL obj (CAR lst))
	(CONS (CAR lst)				(REMBER-ALL obj (CDR lst))
	(REMBER obj (CDR lst))) )		(CONS (CAR lst)
 						(REMBER-ALL obj (CDR lst))) )

$ (REMBER �a �(q a w e r t  a y))	$ (REMBER-ALL �a �(q a w e r t a y))
(q w e r t a y)				(q w e r t y)

$ (DEFUN EQLIST (lst1 lst2)			$ (DEFUN NOT (obj)
     ((NULL lst1) (NULL lst2))			(EQL obj NIL) )
     ((NULL lst2) NIL)
     ((NOT (EQL (CAR lst1) (CAR lst2))) NIL)
     (EQLIST (CDR lst1) (CDR lst2)) )

$ (DEFUN APPEND (lst1 lst2)
   ((NULL lst1) lst2)
   (CONS (CAR lst1) (APPEND (CDR lst1) lst2)) )

$ (DEFUN REVERSE (lst)
   ((NULL lst) NIL)
   (APPEND (REVERSE (CDR lst)) (CONS (CAR lst) NIL)) )

   $ (DEFUN REVER (lst1 lst2)			$ (REVER �(q w e) NIL)
   ((NULL lst1) lst2)				(e w q)
   (REVER (CDR lst1) (CONS (CAR lst1) lst2)) )

���������� ������� muLisp

���������� ������� � muLisp

APPEND [(q w e) (r t y u)]		APPEND = (r t y u)
APPEND [(w e) (r t y u)] 		APPEND = (e r t y u)
APPEND [(e) (r t y u)]			APPEND = (w e r t y u)
APPEND [NIL (r t y u)]			APPEND = (q w e r t y u)

REVERSE [(q w)]		REVERSE = (w)
REVERSE [(w)]			APPEND [(w), (q)]
REVERSE [NIL]			APPEND [NIL, (q)]
REVERSE = NIL		APPEND = (q)
APPEND [NIL, (w)]		APPEND = (w q)
APPEND = (w)			REVERSE = (w q)

I ������ �������

II ������ �������

$ (reverse_all '(1 2 3 (q w e (r t) y) 7 9))
(9 7 (Y (T R) E W Q) 3 2 1)

$ (find_neighbours '((1 2) (3 1) (4 5) (9 1) (2 3) (1 5)) 1)
(2 3 9 5)

$ (liner '(3 (q w e r (t) () y ) 4 (5) o (p () )))
(3 Q W E R T Y 4 5 O P)

$ (symdiff '(2 3 4 5) '(3 41 1 5))
(2 4 41 1)