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