Чи правильне твердження:

"Хвостова рекурсія може бути як рекурсією за аргументом, так і за значенням"?

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

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

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

4) Додаткове завдання - 4 бали. Якщо останній елемент списку є нуль, обчислити кількість не нулів у списку.

Терм pair належить до типу константи 

У заголовку правила записують умови, при яких правило стає істинним твердженням

Як називається набір функцій серед базових примітивів функційного програмування, що відповідають на питання типу ТАК/НІ?

Якщо два правила мають однакові заголовки, то їх можна об'єднати в одне правило з допомогою операції диз'юнкції

Зелені відсікання використовуються для рекурсивних правил

Інша назва логічного програмування 

Як називається оптимізована рекурсія?