car (a)=

Чи правильна тотожність?

(a  b) = (a . ( b ))

Чи вірне твердження «Областю визначень селекторів є усі S-вирази» ?

Функція, яка має аргумент у вигляді іншої функції називається

(pair?  ' (a  b  .  c))=

Виберіть типи s-виразів у lisp

Який вид рекурсії схематично зображено?

(define F(lambda (x…)(… F(K …))))

(define G(lambda (x…)(… G(K …))))

(list?  '(a   .   (b)))=

(pair?  ' (a  (b d)  .  c))=

() - позначення порожнього списку у Пролозі