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

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

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

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

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

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

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

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

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

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

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

Який предикат видаляє терм з вказівником Ref?

Логічне додавання позначається у пролозі

З

агальне твердження про об’єкти та відношення між ними, яке складається з двох

частин пов’язаних зв’язкою <якщо> називається