Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(X, ann)?

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

• # Какое значение примет переменная X в результате вызова цели X = math::restrict(3, 0, 1)?
• # Проигрышная позиция в игре – это позиция,
• # Определение предиката subset имеет вид:subset(0, _) = []:- !. subset(N, [X | L]) = [X | subset(N - 1, L)]. subset(N, [_ | L]) = subset(N, L). Сколько решений имеет цель L = subset(2, [1, 2, 3])?
• # Определение предиката g имеет вид: g(0, R, R):- !. g(X, C, R):- X1 = X - 1, C1 = C * 2, g(X1, C1, R). Какое значение примет переменная Y в результате вызова цели g(2, 3, Y)?
• # Определение предикатов intersection и member имеет вид: intersection([], _, []). intersection([A | L1], L2, [A | L]) :- member(A, L2), !, intersection(L1, L2, L). intersection([_ | L1], L2, L) :- intersection(L1, L2, L). member(X, [X | _]):- !. member(X, [_ | L]):- member(X, L). Какое решение имеет цель intersection([3, 2, 1], [1, 3, 5], L) ?