Какой из списков правильно представляет S-выражение (точечную нотацию) ((A . (B . C) ) . (D . (E . Nil))):

В каком порядке будет вычислено выражение (f (cdr x)), где f – функция (defun f (y) (car y)):

Вычислимо ли выражение (EQ (car '(A)) (cdr'(B))), если да, то какой ответ является верным:

Вычислимо ли выражение (EQ (car '(())) (cdr'(T . Nil))), если да, то какой ответ является верным:

В каком случае правильно указано количество обращений к последней ветви ((QUOTE T) (QUOTE NIL)) второго (вложенного) Cond функции Equal, имеющей определение

 (DEFUN equal (x y) (COND        		 ((ATOM x) (COND    		   ((ATOM y) (EQ x y))     		   ((QUOTE T) (QUOTE NIL))   		 )            )           ((equal (CAR x)(CAR y)) (equal (CDR x)(CDR y)))       ((QUOTE T) (QUOTE NIL))       )  ) 

при интерпретации выражений с указанными ниже аргументами:

В каком случае правильно указано количество обращений к последней ветви ((QUOTE T) (QUOTE NIL)) второго (вложенного) Cond функции Equal, имеющей определение

(DEFUN equal (x y) (COND        		 ((ATOM x) (COND    		     ((ATOM y) (EQ x y))     		   ((QUOTE T) (QUOTE NIL))   		 )            )           ((equal (CAR x)(CAR y)) (equal (CDR x)(CDR y)))       ((QUOTE T) (QUOTE NIL))       )  )   

при интерпретации выражений с указанными ниже аргументами:

В каких случаях правильно указано число обращений к функции Cons при вызове функции subst, имеющей определение

(DEFUN subst (x y z) (COND       ((equal y z) x)      ((ATOM z) z)      ((QUOTE T)(CONS        (subst x y (CAR z))        (subst x y (CDR z))         )  )))    

, со следующими аргументами (порядок следования x y z):

В каких случаях правильно указано число обращений к функции Cons при вызове функции subst, имеющей определение

 (DEFUN subst (x y z) (COND       ((equal y z) x)      ((ATOM z) z)      ((QUOTE T)(CONS        (subst x y (CAR z))        (subst x y (CDR z))         )       )     )),   

со следующими аргументами (порядок следования x y z):

В каких случаях правильно указано число вызовов функции Cons (в определении append) при вызове функции append, имеющей определение

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) , 

при интерпретации выражений с указанными ниже аргументами:

В каких случаях правильно указано число вызовов функции Cons (в определении append) при вызове функции append, имеющей определение

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) ,

при интерпретации выражений с указанными ниже аргументами:

В каких случаях правильно указано число вызовов функции Cons (в определении append) при вызове функции append, имеющей определение

(DEFUN append (x y) (COND      ((null x) y)     ((QUOTE T) (CONS       (CAR x)        (append (CDR x) y)          )     ))      ) ,      

при интерпретации выражений с указанными ниже аргументами: