Введение в программирование на Лиспе

Какие аргументы имеет специальная функция Defun (порядок следования аргументов должен быть показан правильно):

(Отметьте один правильный вариант ответа.)

Варианты ответа

имя функции, определение функции, список аргументов

имя функции, список аргументов, определение функции(Верный ответ)

имя функции, определение функции, список аргументов, тип результата

Похожие вопросы

Какой из результатов вычисления формы (union '(1 2 3) '(1 2 5)) будет получен (учесть порядок следования элементов итогового списка). Функция Union имеет следующее определение:

(DEFUN UNION (X Y)        (COND          ((NULL X) Y)          ((MEMBER (CAR X) Y) (UNION (CDR X) Y) )          (T (CONS (CAR X) (UNION (CDR X) Y))) )) )  ))

Какой из результатов вычисления формы (union '(a b c) '(с a b)) будет получен (учесть порядок следования элементов итогового списка). Функция Union имеет следующее определение:

(DEFUN UNION (X Y)        (COND          ((NULL X) Y)          ((MEMBER (CAR X) Y) (UNION (CDR X) Y) )          (T (CONS (CAR X) (UNION (CDR X) Y))) )) )  ))

Аргументы функции Defun в порядке следования это:

В каких случаях правильно указано число обращений к функции 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):

Список аргументов специальной функции Defun содержит в порядке следования:

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

(DEFUN sub2 (al z) (COND    ((null al) z)   ((equal (CAAR al) z) (CDAR al))   ((QUOTE T) (sub2 (CDR al) z))        ) )(DEFUN sublis (al y) (COND     ((ATOM y) (sub2 al y))     ((QUOTE T)(CONS        (sublis al (CAR y))        (sublis al (CDR y))    ) )))

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

 (DEFUN sub2 (al z) (COND        ((null al) z)       ((equal (CAAR al) z) (CDAR al))       ((QUOTE T) (sub2 (CDR al) z))        ) )(DEFUN sublis (al y) (COND         ((ATOM y) (sub2 al y))         ((QUOTE T)(CONS      (sublis al (CAR y))        (sublis al (CDR y))    ) )))

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

(DEFUN sub2 (al z) (COND      ((null al) z)     ((equal (CAAR al) z) (CDAR al))     ((QUOTE T) (sub2 (CDR al) z))        ) )(DEFUN sublis (al y) (COND       ((ATOM y) (sub2 al y))       ((QUOTE T)(CONS      (sublis al (CAR y))          (sublis al (CDR y))    ) )))

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

Какой из результатов вычисления формы (grp '(1 2 3 4)) является верным. Функция (grp x) имеет определение

(defun grp (x)(list (car x) (list (cadr x) (caddr x))))