%%  Datei:  verwandtschaft.pl
%%
%%  Programmierkurs Prolog (Sommersemester 2002),
%%  Material fuer Uebungsblatt 2, Aufgabe 2.2

%%  'eltern(Kind,Vater,Mutter)' setzt Kinder mit ihren Eltern in Relation.

eltern(/*Kind*/ lukas, /*Vater*/ klaus, /*Mutter*/ ingrid).
eltern(heike,klaus,ingrid).

%%  'weiblich(W)' deklariert 'W' als weiblich.

weiblich(heike).
weiblich(ingrid).

%%  'maennlich(M)' deklariert 'M' als maennlich.

maennlich(lukas).
maennlich(klaus).

/*  'bruder(Bruder,G)' setzt 'G' mit dessen Bruder 'Bruder' in
**  Relation. Die folgende Regel formalisiert den Zusammenhang 'B ist
**  Bruder von G, wenn B maennlich ist und B und G die gleichen Eltern
**  haben'.
*/

bruder(B,G) :-
	maennlich(B),
	eltern(B,E1,E2),
	eltern(G,E1,E2).