% Blatt 1 Aufgabe 1

%   Bert Anna  Dirk Dora
%    |  X |      \   /
%   Hans Inge    Lisa
%       \        /
%        \      /
%          Kurt

% maennlich(X): X ist maennlich.
maennlich(bert).
maennlich(dirk).
maennlich(hans).
maennlich(kurt).

% weiblich(X): X ist weiblich.
weiblich(anna).
weiblich(dora).
weiblich(inge).
weiblich(lisa).

% kind(X,Y): X ist Kind von Y.
kind(hans,bert).
kind(hans,anna).
kind(inge,bert).
kind(inge,anna).
kind(lisa,dirk).
kind(lisa,dora).
kind(kurt,hans).
kind(kurt,lisa).

% Blatt 2 Aufgabe 1

% nachkomme(N,X): N ist Nachkomme von X.
nachkomme(N,X) :-
    kind(N,X).
nachkomme(N,X) :-
    kind(K,X),
    nachkomme(N,K).

% ?- nachkomme(X,anna).
% ?- trace.
% ?- nachkomme(X,anna).
% ?- notrace.            oder        ?- nodebug.
