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

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

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

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)) =

(cdr '(b))=

Чи вірне твердження «Послідовність обчислювальних гілок у рекурсивних обчисленнях є довільною» ?