Определение предиката member имеет вид: member(bt(_, X, _), X):- !. member(bt(L, _, R), X):- member(L, X); member(R, X). Сколько решений имеет цель member(bt(bt(leaf, 1, leaf), 2, bt(leaf, 3, leaf)), X) ?

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

• # В языке Visual Prolog предикаты, объявленные в декларации класса
• # Отметьте верное утверждение. Поиск в глубину на графе пространства состояний обычно используется:
• # Определение предикатов lang и print имеет вид:lang(1, prolog). lang(2, python). lang(3, pascal). print() :- lang(N, L), write(L), nl, fail. print(). Сколько названий языков будет напечатано при вызове цели print()?
• # Определение предиката subset имеет вид: subset(0, [], []):- !. subset(N, [A | L], [A | S]):- N1 = N - 1, subset(N1, L, S). subset(N, [_ | L], S):- subset(N, L, S). Сколько решений имеет цель subset(2, [1, 2, 3], X) ?
• # Определение предикатов arc и conn имеет вид: arc(1, 2). arc(1, 3). arc(3, 4). conn(X, X). conn(X, Z):- arc(X, Y), conn(Y, Z). Сколько решений имеет цель conn(1, X) ?