% Sohn-Beziehungen sohn(elvaras,diopden). sohn(elvaras,dialynn). sohn(dioptret,caldor). sohn(dioptret,corvana). sohn(diophant,crovas). sohn(diophant,callopia). sohn(caldor,bengel). sohn(caldor,brennwen). sohn(bengel,astromir). % Tochter-Beziehungen tochter(dialynn,crovas). tochter(dialynn,callopia). tochter(callopia,bengel). tochter(callopia,brennwen). % Regel für die Enkeltochter enkeltochter(X,Y) :- tochter(X,Z), tochter(Z,Y). enkeltochter(X,Y) :- tochter(X,Z), sohn(Z,Y).