Маючи атом М та () через один виклик комбінації  відповідних примітивів  функційної мови програмування утворіть S-вираз

( (М . М) ((М) ((М)) М)  (М))

Чи правильне твердження

"Для того, щоб визначити чи S-вираз є атомом потрібно використати предикат pair?"?

Чи правильне твердження

"Списки є рекурсивними структурами, бо можуть мати різний рівень вкладеності"?

Функція quote є примітивно-рекурсивною у контексті теорії обчислюваності

Маючи атом Y та (), через один виклик комбінації відповідних примітивів функційної мови програмування утворіть S-вираз

((((Y) . Y) Y) Y ((Y)) . Y)

Паралельну рекурсію називають рекурсією по дереву

Основна відмінність декларативного програмування від імперативного:

Якщо X I Y структури, то вони співставимі лише тоді, коли

Виберіть предикати для видалення фактів із динамічної бази даних

Структури і типи даних, що використовуватимуться в програмі описуються в розділі