Определение предикатов count и count1 имеет вид:count(t(X, []), X):- !.count(t(_, L), Y):- count1(L, Y).count1([], 0).count1([T | L], Z):- count(T, X), count1(L, Y), Z = X + Y.
Какое значение примет переменная S в результате вызова цели count(t(1, [t(2, [t(2, [])]), t(1, [])]), S) ?
(Отметьте один правильный вариант ответа.)
Варианты ответа
3(Верный ответ)
6
5
1