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

eltern(lukas,klaus,ingrid).
eltern(heike,klaus,ingrid).
eltern(fred,klaus,ingrid).

eltern(klaus,martin,maria).
eltern(ingrid,peter,zora).

% weiblich(W) deklariert W als weiblich.

weiblich(heike).
weiblich(ingrid).
weiblich(maria).
weiblich(zora).

% maennlich(M) deklariert M als maennlich.

maennlich(lukas).
maennlich(klaus).
maennlich(martin).
maennlich(peter).

/* 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).