Код не содержит ошибок. Просто строки 1-9 содержат ненужное. Их можно выбросить. Код берет список пар вида ((a1 b1) (a2 b2)...), объединяет пары (ai bi) и (aj bj) при условии bi=bj в одну пару (ai+aj bi). А затем сортирует полученный список по возрастанию второго элемента пары:

 

 

(DEFUN INSERT (Z L)

  (COND ((NULL L)(LIST Z))

        ((< (CADR Z)(CADAR L))(CONS Z L))

        (T (CONS(CAR L)(INSERT Z (CDR L))))))

 

==> INSERT

 

(DEFUN SORT (L)

  (COND ((NULL L) L)

        (T (INSERT (CAR L)(SORT (CDR L))))))

 

==> SORT

 

(DEFUN SEE (A)

  (COND ((NULL A) NIL)

        ((NULL (CDR A)) A)

        ((EQ (CADAR A)(CADADR A))(SEE (CONS (LIST (+ (CAAR A)(CAADR A))(CADAR A))(CDDR A))))

        (T (CONS (CAR A)(SEE (CDR A))))))

 

==> SEE

 

(DEFUN ZERO (A)

  (COND ((NULL A) A)

        ((EQ (CAAR A) 0)(ZERO (CDR A)))

        (T (CONS (CAR A)(ZERO (CDR A))))))

 

==> ZERO

 

(DEFUN BEGIN (A)(ZERO (SEE (SORT A))))

 

==> begin

 

(BEGIN '((8 8)(5 0)(3 2)(-6 8)(7 0)(-3 2)(5 -1)(2 1)(43 3)))

 

==> ((5 -1) (12 0) (2 1) (43 3) (2 8))