Задати виклик MAP, який функціональним аргуметом  має  базовий предикат, а всього аргументів у функціонала 3.

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

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

Визначити мовою Пролог предикат створення нового списку

без від ємних елементів на основі вхідного числового списку.

Що є справедливим для предикату НЕУСПІХ у логічному програмуванні?

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

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

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

3) (3 бали) Динамічно видалити з БД факти про салат, калорійність якого більше 350 ккал,  маса більша 250 г, а перший інгредієнт,що входить у страву з вмістом більше 40 відсотків і не є "огірок".

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

Які є методи підвищення ефективності програм

Функції

першого порядку - 

(cdr  ' a)=

Якого типу є рекурсивна гілка у рядку 4?

1 (define myFunc(lambda(x y)

2     (cond

3             ((eq? x '()) y)

4              (#t (cons (myFunc (car x) '()) (myFunc (cdr x) '()))))

(map + '(1 2 3) '(4 5 6)) =