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

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

• # В результате вызова string::frontToken(" 23 + 5", X, Y) переменные X и Y примут значения:
• # Сколько элементов содержит список [[1, 2, 3, 4]]?
• # С каким списком не унифицируется список [1, 2]?
• # Определение предикатa color имеет вид:color(red):- !. color(yellow). color(green). Цель findall(X, color(X), L) имеет решение:
• # Определение предиката member имеет вид:member(H, [H | _]):- !. member(H, [ _ | T]) :- member(H, T). Сколько решений имеет цель member(X, [1, 2, 3, 4])?