Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python) :- !. lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?

Правильный ответ:

• # Определение предиката parent имеет вид: parent(tom, mary). parent(ann, tom). Отметьте все решения для цели parent(X, _), parent(_, Y):
• # Определение предиката count имеет вид: count(leaf, 0). count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z + 1. Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
• # Отметьте верное утверждение. Состояние в задаче о перевозке через реку полностью описывается парой, содержащей
• # В результате вызова в PIE цели functor(X, book, 2), arg(1, X, melville), arg(2, X, "Moby-Dick") переменная X примет значение
• # Динамическое отсечение используется