Предикат

[.Amira.]

Нужно написать предикат для пролога, не получается... Нужно, чтобы со мной подумали вместе... Чистая логика.

Дано:

Генеалогическое дерево, где есть предикат родитель(имя родителя, имя его ребёнка), также есть предикат пол(имя, м/ж).

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

Пыталась написать сестра(Х)=родитель(Z,X),родитель(Z,Y),пол(Y,ж),пол(Х,м).
Где получается, что сестра(Х) это то же, что у родителя Z есть ребёнок X, у родителя Z есть ребёнок Y, Y женского пола, X мужского пола.

Но что-то мне кажется, я ошиблась где-то... Т.к. у меня в списке нет братьев, то ищу сестёр таким же способом, только пол м на ж меняю... и не работает правильно.

Подумаем, вместе? Вдруг кому интересно.

Comments

[Слушатель]

.Amira.
Я бы изменил имя предиката на естьСестра(X), иначе можно подумать, что сестра(X) это предикат который проверяет элемент X сестра ли это. То есть выдаётся список женщин, которые чьи-то сёстры.

Не совсем понял проблему, вы хотите распечатать список людей (мужского или женского пола) у которых есть сестра?

[.Amira.]

ок, пусть будет естьСестра(X)

Нужно распечатать список людей мужского пола, у которых есть сестра.

[Слушатель]

Гм, должно работать.

Update: расписал более аккуратно с учётом, что может быть Y = X.

естьСестра(X) := родитель(Z, X), родитель(Z, Y), пол(Y, ж), пол(X, м)

Допустим есть такая БД:
родитель(Ира, Миша)
родитель(Ира, Катя)
пол(Миша, м)
пол(Катя, ж)

Прогоним наш предикат естьСестра(X). Для X = Миша

родитель(Z, X) = родитель(Ира, Миша) = true
родитель(Z, Y) = родитель(Ира, Миша) = true
пол(Миша, ж) = false. Провал.

родитель(Z, X) = родитель(Ира, Миша) = true
родитель(Z, Y) = родитель(Ира, Катя) = true
пол(Y, ж) = пол(Катя, ж) = true
пол(X, м) = пол(Миша, м) = true.

Всё true, значит подстановка X = Миша удовлетворима и "миша" выводится на экран.

Теперь для X = Катя
родитель(Z, X) = родитель(Ира, Катя) = true
родитель(Z, Y) = родитель(Ира, Катя) = true
пол(Y, ж) = пол(Катя, ж) = true
пол(X, м) = пол(Катя, м) = false. Провал.

родитель(Z, X) = родитель(Ира, Катя) = true
родитель(Z, Y) = родитель(Ира, Миша) = true
пол(Y, ж) = пол(Миша, ж) = false. Провал.


Всевозможные подстановки исчерпаны, значит на выходе:

Миша.

То есть то что нам нужно.

Покажите вашу БД.

[.Amira.]

parent(konstantins,vladimirs).
parent(jelizaveta,vladimirs).
parent(aleksandra,irina).
parent(germans,irina).
parent(vladimirs,svetlana).
parent(vladimirs,liana).
parent(irina,svetlana).
parent(irina,liana).
parent(svetlana,angelica).
parent(svetlana,elisabeth).

dzim(jelizaveta,siev).
dzim(konstantins,vir).
dzim(aleksandra,siev).
dzim(germans,vir).
dzim(vladimirs,vir).
dzim(irina,siev).
dzim(svetlana,siev).
dzim(liana,siev).
dzim(angelica,siev).
dzim(elisabeth,siev).

P.S.: vir = м, siev= ж

[Слушатель]

.Amira.
Список должен быть пустым. Мужчин у которых есть сёстры - нет.

Что у вас выдаёт? Попробуйте нарисовать иерархию отношений.

[.Amira.]

Слушатель в принципе выдаёт false...

спасибо за помощь, а то что-то я была не совсем уверена в своей правоте... мало ли почему он может false выдавать...

[Слушатель]

.Amira.

Пожалуйста ). Можно ещё проверку X на мужской пол первой поставить, чтобы например для естьСестра(Катя) несчастный интерпретатор не скакал по списку выясняя все остальные предикаты, а потом обламывался на пол(Катя, м) ).

Ещё советую провести контрольный эксперимент, т.е. добавь запись:
parent(vladimirs, olaf)

dzim(olaf,vir).

И запусти hasSister(X). Должно выплюнуть olaf.