Задати виклик MAP, який спричинить перевірки  на тотожність чисел, що є елементами відповідних двох списків. Тобто чи перший елемент першого списку = першому елементу другого списку,  другий елемент першого списку = другому елементу другого списку і т.д. Списки складаються з 5 елементів.

Записати закон алгебри Буля стосовно базової логічної операції, який не спрацьовує, коли виникає процедурний зміст Пролог-програми.

Записати вирази  обчислення кон'юнкції і диз'юнкції для довільного аргументу та константи. 

У відповіді ПОЗНАЧАТИ ОПЕРАЦІЇ ЯК ПРИЙНЯТО У ПРОЛОЗІ.

1) (4 бали) Розробити мовою Пролог структуру БД для подання інформації про подарунки школярам до дня Святого Миколая, які укомплектовує Благодійна організація.До подарунку входять три товари з різних категорій: канцтовари, книга, солодощі. Канцтовари мають назву та вартість. Книга має назву, прізвища та імена авторів, вартість, жанр (детектив, фантастика, поезія,  історична, довідник). Солодощі мають назву, вартість, масу, позначку про наявність алергенів та кілокалорії.

Записати 1 приклад такої інформації.

2) (3 бали) Задати правило для визначення назв канцтоварів, книги, солодощів, що входять у сформовані подарунки за умовами: до складу входять книги, де є більше двох авторів категорії поезія  та солодощі з калорійністю менше 400 ккал.

3) (3 бали) Видалити динамічно записи, що відповідають умовам: містять солодощі з алергенами,  а канцтовари і книги мають сумарну вартість не більше 400 грн.

4) (2 бали) Графічно представити структуру (НА ПАПЕРІ), що міститиме дані про подарунок зі всіма компонентами як записано в 1).

| - позначення анонімної змінної у Пролозі

Написати твердження мовою Пролог для визначення максимального елемента у вхідному числовому списку. 

Для цього використайте відношення визначення максимального числа з двох max2(X, Y, Max), яке вважається заданим і готовим до використання.

Терм :- належить до атомів

Цільове твердження записується у розділі clauses Пролог-програми

Задайте для логічного програмування у звичайній нотації список з двох чисел, що представляють сьогоднішню дату (день, місяць)

Від якого словосполучення (англ.) утворена назва першої функційної мови програмування?

1) Написати функцію предикатного типу мовою Scheme у строго функційному стилі, яка визначає чи вхідний список з нульовим рівнем вкладеності є множиною (елементи входять лише один раз). У випадку якщо є множина, обчислюється її потужність (довжина списку), інакше - формується пара з другого і третього елементів. Використати принцип функціональної декомпозиції. Закоментуйте розроблені підфункції (9 балів).  

2) Сформувати виклики розробленої функції для різних типів S-виразів (різн класи еквівалентності), що свідчили б як про коректну, так і надійну її роботу  (2 бали).

3) Яка використана рекурсія за місцем виклику і за структурою обчислювального процесу? (2 бали)

4) Додаткове завдання - 4 бали. Сформувати список нульового рівня вкладеності на основі вхідного з довільними вкладеннями. Тобто (1 ((2) 8) (0)) - > (1 2 8 0)