Определение предикатов parent и anc имеет вид: parent(tom, ann).parent(ann, bob).anc(X, Y):- parent(X, Y).anc(X, Z):- parent(X, Z), anc(Z, Y).
Сколько решений имеет цель anc(tom, X)?
(Отметьте один правильный вариант ответа.)
Варианты ответа
1
4
2(Верный ответ)
3