% kind(K,P): K ist Kind der Person P.
kind(emil,anton).        % Emil ist Kind von Anton.
kind(emil,berta).
kind(frieda, christian).
kind(frieda,dora).
kind(gustav,emil).
kind(gustav,frieda).

% maennlich(P): Die Person P ist maennlich.
maennlich(anton).
maennlich(christian).
maennlich(emil).
maennlich(gustav).

% weiblich(P): Die Person P ist weiblich.
weiblich(berta).
weiblich(dora).
weiblich(frieda).

% grossmutter(G,P): G ist Grossmutter der Person P.
                         % Fuer alle G,P,E gilt:
grossmutter(G,P) :-      % G ist Grossmutter von P, wenn
	weiblich(G),     % G weiblich ist und
	kind(E,G),       % E Kind von G ist und
	kind(P,E).       % P Kind von E ist.
