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

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

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

Задати лямбда-виклик, що використовує композицію конструктора та предиката

Кожна бінарна структура є списком

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

1) (4 бали) Розробити мовою Пролог структуру БД для подання інформації про страви в кафе. 

Страви є чотирьох видів - салат, десерт, риба, м`ясо . Наприклад, цезар є салат, стейк є м`ясо і т.д. Кожна страва описується відповідно назвою, масою, калорійністю, ціною та списком інгредієнтів, кожен з яких задається назвою та відсотком у вмісті. Навести приклади відповідних фактів про страви

2) (3 бали) Визначити правило для формування обідів масою більше 400 г, що складаються з салату  не менше як з 3 інгредієнтів,  м`ясної страви та десерту з масою менше 200г. Вартість обіду має бути не більше 800 грн, а калорійність - менше 1200 ккал.

3) (3 бали) Динамічно видалити з БД салати, що складаються  з 5 інгредієнтів. з вмістом відповідно по 20 відсотків кожен та жоден з градієнтів не є "курка".

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

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

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

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

4) Додаткове завдання - 4 бали. Для вхідного списку більшої довжини сформувати пару з перших двох елементів.

Структура - це приклад списку

Функція у мові Sheme, що повертає свій аргумент

Вибрати базові функції мови Scheme, які мають область визначення усі S-вирази

1)Записати ПОВНУ dot-нотацію для S-виразу

(((9)) (1) ((2) (3)) а (с (4)) 5 (6))

2) Зі скількох елементів складається вираз на верхньому рівні?

3) Запишіть хвіст для першого підсписку цього списку

4) Через один виклик примітивів добудьте з цього виразу атом а