Почему двойное отрицание не связывается в Прологе

Начнем с чего попроще. Скажите \+ X = Y. Здесь отрицаемая цель - это предопределенный встроенный предикат. Так что все еще яснее: X и Y должны быть разными. Однако \+ X = Y терпит неудачу, потому что X = Y успешно. Таким образом, не осталось и следа, при каком именно условии гол не удался.

Таким образом, \+ \+ X = Y действительно дает пустой ответ, а не ожидаемый X = Y. Дополнительную информацию см. в этом ответе.

Учитывая, что такие простые запросы уже показывают проблемы, вы не можете ожидать слишком многого от определенных пользователем целей, таких как ваша.

В общем случае вам придется сначала пересмотреть, что вы на самом деле имеете в виду под отрицанием. Ответ намного сложнее, чем кажется на первый взгляд. Подумайте, программа p :- \+ p. должна p быть успешной или неудачной? Должно p быть правдой или нет? На самом деле здесь есть две модели, которые больше не вписываются в представление Пролога о минимальной модели. Соображения, поскольку они открыли новые ветви логического программирования, такие как программирование набора ответов (ASP).

Но остановимся на Прологе. Отрицание можно использовать только в очень ограниченном контексте, например, когда цель достаточно конкретизирована, а определение стратифицировано. К сожалению, общепринятых критериев безопасного выполнения поставленной цели не существует. Мы могли бы подождать, пока цель не станет переменной свободной (наземной), но это часто означает, что нам приходится ждать слишком долго - на жаргоне: отрицаемая цель не работает.

Таким образом, общее отрицание не очень хорошо сочетается с программами на чистом Prolog. Суть Пролога - это чистая, монотонная подмножество языка. Однако в части ограничений Пролога (или его соответствующих расширений) отрицание может работать достаточно хорошо.

Я могу неправильно понять вопрос, и я не понимаю последний абзац.

В любом случае, есть совершенно верный способ определить, какие люди не являются сиротами. В вашем примере вы забыли сообщить компьютеру то, что вам известно, а именно:

person(michael).
person(david).
% and a few more
person(anna).
person(emilia).

not_orphan(X) :- \+ orphan(X).
orphan(X) :- person(X), \+ parent(_, X).

parent(david, michael).
parent(anna, david).

?- orphan(X).
X = anna ;
X = emilia.

?- not_orphan(X).
X = michael ;
X = david ;
false.

Я не знаю, как именно вы хотите определить «сироту», поскольку это определение определенно немного странно, но дело не в этом.

В заключение: вы не можете ожидать, что Prolog узнает, что michael, david и все остальные - люди, если вы не укажете это явно. Вам также необходимо прямо указать, что orphan или not_orphan - это отношения, которые применимы только к людям. Мир, который вы моделируете, также может иметь:

furniture(red_sofa).
furniture(kitchen_table).
abstract_concept(love).
emotion(disbelief).

и вам нужен способ оставить их вне своих семейных дел.

Надеюсь, это поможет.