person(karl).        % karl ist eine person
person(lore).
person(gerd).
person(gitte).
person(uli).

% Die Frauen

weiblich(lore).      % lore ist weiblich
weiblich(gitte). 

% Die Maenner

maennlich(karl).     % karl ist maennlich
maennlich(gerd).
maennlich(uli).

% Der Hund heisst Fido

hund(fido).

kind_von(gerd, karl).          % gerd ist kind von karl
kind_von(gitte, gerd).
kind_von(gitte, lore).
kind_von(uli, gerd).
kind_von(uli, lore).

% rekursive Regeln

vorfahr( Vorf, Kind ) :- kind_von( Vorf, Kind ). 
vorfahr( Vorf, Enkel ) :- kind_von( Vorf, Kind ), vorfahr( Kind, Enkel).

gleichgen(Name, Name) :- kind_von( Eltern, Name ). 
gleichgen(Eltern, Eltern) :- kind_von( Eltern, Name). 
gleichgen(Name_1, Name_2) :- kind_von( Eltern_1, Name_1 ), 
   kind_von( Eltern_2, Name_2), gleichgen( Eltern_1, Eltern_2).