% Unsere Beispielverwandtschaft:
%
%                     christine --- heinz   maria --- fritz
%                       /    \                |
%                      /      \               |
%      monika --- herbert     angelika --- hubert
%       /  \                     |
%      /    \                    |
% susanne  norbert             andreas
%

% Ist eine Person weiblich?
weiblich(christine).   weiblich(maria).
weiblich(monika).      weiblich(angelika).
weiblich(susanne).                    

% Ist eine Person maennlich?
maennlich(heinz).      maennlich(fritz).
maennlich(herbert).    maennlich(hubert).
maennlich(norbert).    maennlich(andreas).

% Welche Frau ist mit welchem Mann verheiratet?
verheiratet(christine, heinz).
verheiratet(maria, fritz).
verheiratet(monika, herbert).
verheiratet(angelika, hubert).

% Wer ist Mutter eines Kindes?
istMutterVon(christine, herbert).
istMutterVon(christine, angelika).
istMutterVon(maria, hubert).
istMutterVon(monika, susanne).
istMutterVon(monika, norbert).
istMutterVon(angelika, andreas).


% Allgemeine Regeln fuer Verwandtschaftsbeziehungen:

% Wer ist Vater eines Kindes?
istVaterVon(V,K) :-
	verheiratet(M,V), istMutterVon(M,K).

% Wer ist Grossvater eines Kindes?
istGrossvaterVon(G,E) :-
	istVaterVon(G,V), istVaterVon(V,E).