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

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

Від якого словосполучення (англ.) утворена назва першої функційної мови програмування?

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

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

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

4) Додаткове завдання - 4 бали. Сформувати список нульового рівня вкладеності на основі вхідного з довільними вкладеннями. Тобто (1 ((2) 8) (0)) - > (1 2 8 0)

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

1 (define myFunc(lambda(x y)

2     (cond

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

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

5  (define (myFunc2(lambda(x)(+ x (myFunc (cons x '()) '(1)))))

(cdr  ' (a))=

(list 'a 'b) =

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

Вираз

((lambda (x y) (cons x y)) 1 ‘(2))

є