Определение предиката 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) ?
(Отметьте один правильный вариант ответа.)
Варианты ответа
2
1
3(Верный ответ)
7