Відношення у логічному програмування представляється структурою

Записати розподільні закони алгебри Буля стосовно базових логічних операцій.

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

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

Як позначається логічна зв'язка ЯКЩО у Пролозі?

Виберіть позначення списку, який містить елементи a, b, c  у пролозі

Чи допускається у

логічному програмуванні рекурсивне визначення правил?

Анонімна змінна позначається у пролозі

Дано твердження в програмі пролог:

(1) transform([],[]).

(2) transform([X|Y],[X1|Y1]):-repl(X,X1),transform(Y,Y1).

Як називається твердження (1)?

Який вид відсікання використовується для оптимізаціі?

Який предикат використовується для заміни терма (з вказівником бази даних Ref) на новий терм з ім'ям Term?

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