Відсікання,

що змінює декларативний сенс

Розділ пролог програми, який містить

цільове

призначення програми, тобто задається внутрішній запит до програми називається

Процедурний зміст пролог програми

P :- Q, R

Алгебра спискових структур покладена в  основу  лямбда-числення А. Чьорча.

Маючи атом Z та (), через один виклик комбінації  відповідних примітивів функційної мови програмування утворіть S-вираз

(((Z . Z)) ( Z (Z)) ((Z)) Z . Z)

Emacs-Lisp - діалект мови Lisp, що орієнтується у першу чергу на програмування паралельних обчислень

Задати лямбда-виклик для обчислення суми деяких елементів трьох заданих числових списків, а саме: першого елемента другого списку , другого елемента першого списку та третього елемента третього списку.

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

( ((0)) 7 (1 2 ((3))) (а (с (4))))

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

3) Записати хвіст для другого за порядком підсписку (верхній рівень) цього списку.

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

Маючи атом Х та (), через один виклик комбінації  відповідних примітивів функційної мови програмування утворіть S-вираз

((Х . Х) ( Х (Х X . X)) . Х)

Мова розроблена компанією Ericsson , що орієнтується на паралельне програмування (англ.)