Определение предиката g имеет вид: g(0, R, R):- !. g(X, C, R):- X1 = X - 1, C1 = 3 * C, g(X1, C1, R). Какое значение примет переменная Y в результате вызова цели g(2, 1, Y)?

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

• # Определение предиката 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) ?
• # Определение класса b с интерфейсом b имеет вид:interface b properties a : integer. end interface b class b : b end class b implement b facts a : integer := 0. end implement b Какое число будет напечатано в результате вызова цели X = b::new(), X:a := 2, Y = b::new(), Y:a := X:a + 1, stdio::write(X:a+Y:a+5) ?
• # С каким списком не унифицируется список [1, 2]?
• # Определение предикатa color имеет вид:color(red). color(yellow). color(yellow) :- !. color(green). Цель findall(X, color(X), L) имеет решение:
• # Цель L = list::map([-1, 2, -3], {(X) = -X}) имеет решение: