У меня есть база данных в прологе, как это:
parent('John',Elizabeth').
parent('Mary',Elizabeth').
где первое имя - это имя родителя, а второе имя - имя ребенка. Мне нужно создать метод, как:
hasNoChildren(X).
, который дает мне список всех родителей, у которых нет детей. У меня есть метод
hasChildren(X) :- parent(X, Y).
, которые делают противоположные вещи. Я попробовал это:
hasNoChildren(X) :- \+ hasChildren(X).
но это не работает для меня. Может ли кто-нибудь мне помочь?