Вызов цели not(parent(X, _)) завершается успехом, если цель parent(X, _)
(Отметьте один правильный вариант ответа.)
Варианты ответа
имеет хотя бы одно решение
имеет более одного решения
не имеет решений(Верный ответ)
имеет ровно одно решение