Praktikum1.pl

maennlich(guenter).
maennlich(dieter).
maennlich(max).
maennlich(heinrich).
maennlich(peter).
weiblich(rosa).
weiblich(anna).
weiblich(lisa).
weiblich(silvia).
weiblich(laura).
eltern(guenter, dieter).
eltern(guenter, lisa).
eltern(rosa, dieter).
eltern(rosa, lisa).
eltern(dieter, heinrich).
eltern(dieter, silvia).
eltern(anna, heinrich).
eltern(anna, silvia).
eltern(max, peter).
eltern(max, laura).
eltern(lisa, peter).
eltern(lisa, laura).

vater(XVater, YKind) :- maennlich(XVater), eltern(XVater, YKind).
mutter(XMutter, YKind) :- weiblich(XMutter), eltern(XMutter, YKind).
sohn(XSohn, YElternteil) :- maennlich(XSohn), eltern(YElternteil, XSohn).
tochter(XTochter, YElternteil) :- weiblich(XTochter), eltern(YElternteil, XTochter).
bruder(XBruder, YGeschwister) :- maennlich(XBruder), eltern(RElternteil, XBruder), eltern(RElternteil, YGeschwister).
schwester(XSchwester, YGeschwister) :- weiblich(XSchwester), eltern(RElternteil, XS), eltern(RElternteil, YGeschwister).
geschwister(XGeschwister, YGeschwister) :- bruder(XGeschwister, YGeschwister).
geschwister(XGeschwister, YGeschwister) :- schwester(XGeschwister, YGeschwister).
cousin(XCousin, YCousin) :- geschwister(RXElternteil, RYElternteil), eltern(RXElternteil, XCousin), eltern(RYElternteil, YCousin), RXElternteil \= RYElternteil.