Що є справедливим для відсікання у логічному програмуванні?

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

Запишіть для кожного використаного вами терму функтор та арність. 

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

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

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

Використання анонімних змінних впливає на економію обчислювальних ресурсів

У представленні списку [a, s, d, f] через структуру сьомим символом є s, не враховуючи пробіли. 

Мова Prolog була створена фахівцями зі ШІ в Массачусетському університеті

 Запишіть терм у звичайній нотації для дерева

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

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

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

4) ДОДАТКОВЕ ЗАВДАННЯ - 4 БАЛИ. Запрограмувати функцію my_equal? у строго функційному стилі для будь-яких S-виразів.

1) (3 бали) Записати приклад структури для подання інформації про команду учасників змагань зі спортивних парних танців на льоду, яка містить: 

прізвище, ім’я, дату народження, громадянство, перелік даних про досягнення на міжнародних змаганнях (назва змагання, рік, зайняте місце) спортсмена та спортсменки; 

прізвище, ім’я, дату народження, громадянство тренера та хореографа спортивної пари.

Записати функтори та арності для використаних термів.

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

3) (3 бали) Динамічно видалити з БД записи про спортивні пари, у яких спортсмени мають різне громадянство і кожен з них взяв участь в одному змаганні та зайняв призове місце.

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

Записати сполучні закони алгебри Буля стосовно базових логічних операцій.

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

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

Щоб отримати всі можливі співставлення з бази даних, у цільовому твердженні необхідно використати !