Определение предикатов male и parent имеет - Ответ на вопрос №1227348

Вопрос

Определение предикатов male и parent имеет вид: male(tom).male(bob).parent(tom, mary).parent(tom, ann). Рассмотрим цели not(parent(X, _)), male(X) и male(X), not(parent(X, _)). Отметьте правильное утверждение:

• они имеют одинаковый набор решений
• одна из них имеет два решения, а другая не имеет решений
• одна из них имеет решение, а другая не имеет
• одна из них имеет два решения, а другая одно решение

Ответ