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

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

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

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

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

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

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

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

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

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