Allgemein

    grossvater(X,Y) :-
        mutter(X,Z),
        vater(Z,Y).

Frage: kann ein Großvater gleichzeitig eine Mutter sein?

Das Beispiel war wohl die Großmutter väterlicherseits. Geändert. -- Ben-Zin

Das ist eine Frage der Sichtweise. Man kann es auch so lesen: Y ist der Grossvater von X, wenn Y der Vater der Mutter Z von X ist. Nach der Erklärung im Text ist es aber falsch. -- guwac 21:11, 6. Mär 2005 (CET)

die angeblich nicht mehr verfügbare seite ist wohl wieder verfügbar (weblinks, 3ter link). ich ändere es mal --balou