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

(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))=

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

До якої категорії функцій вищого порядку належить функція, що аргументом і результатом має функції? Відповідь складається з декількох слів.

Динамічна база даних - це те саме, що база знань

Змінні оголошуються у розділі domains Пролог-програми