Як позначається логічна операція у Пролозі, для якої значення істинності можливе лише у випадку істинності  аргументів?

Нехай задано твердження:

rule(1).

rule(2):-!.

rule(3).

Виберіть усі можливі відповіді системи логічного програмування на запит rule(X),rule(Y)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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