Определение предиката 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, 1, leaf)), X)?

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

• # Определение класса b с интерфейсом b имеет вид: interface b properties a : integer. end interface b class b : b predicates counter : () -> integer. end class b implement b facts a : integer := 0. class facts n : integer := 0. clauses new():- n := n + 1. counter() = n. end implement b Какое число будет напечатано в результате вызова цели X = b::new(), X:a := 2, Y = b::new(), Y:a := X:a + 1, stdio::write(X:a+Y:a+b::counter())?
• # Признак N присутствует, если в базе данных имеется факт answer(N, 1), и отсутствует, если в ней имеется факт answer(N, 0). Определение предиката correct имеет вид:correct(L):- answer(N, 1), not(isMember(N, L)), !, fail; succeed(). Предикат истинен, если
• # Предикат parent определяется следующим образом:parent(peter, mary). parent(mary, ann). parent(mary, bob).Цель !, parent(X, Y), parent(Y, Z) имеет следующее количество решений:
• # Определение предикатов parent и anc имеет вид: parent(tom, ann). parent(ann, bob). anc(X, Y):- parent(X, Y). anc(X, Z):- parent(X, Z), anc(Z, Y). Сколько решений имеет цель anc(tom, X)?
• # Определение функции f имеет вид: f(0, R) = R:- !. f(X, C) = f(X - 1, C * C - 2). Какое значение примет переменная Y в результате вызова цели Y = f(2, 2)?