Определение предиката count имеет вид:count(leaf, 0).count(bt(leaf, _, leaf), 1):- !.count(bt(L, _, R), X):- count(L, Y), count(R, Z), X = Y + Z.
Какое значение примет переменная X в результате вызова цели count(bt(bt(leaf, 1, leaf), 2, bt(leaf, 1, leaf)), X) ?
(Отметьте один правильный вариант ответа.)
Варианты ответа
3
7
1
2(Верный ответ)