Определение предикатов male и parent имеет вид:male(tom).male(bob).parent(tom, mary).parent(ann, tom).
Рассмотрим цели parent(X, _), not(not(male(X))) и not(not(male(X))), parent(X, _). Отметьте правильное утверждение:
(Отметьте один правильный вариант ответа.)
Варианты ответа
одна из них имеет решение, а другая не имеет
одна из них имеет два решения, а другая не имеет решений
они имеют одинаковый набор решений
одна из них имеет два решения, а другая одно решение(Верный ответ)