nevlastni_bratr(Bratr,Sourozenec):-
        rodic_v(X,Bratr),
        muz(Bratr),
        rodic_v(X,Sourozenec),
        Bratr \== Sourozenec, /* tento test neni nutny, ale zvysuje efektivitu */
        rodic_v(Y,Bratr),
        Y \== X,
        rodic_v(Z,Sourozenec),
        Z \== X,
        Z \== Y.

/* nevhodne umisteni testu - vypocet "bloudi" v neuspesnych vetvich */
nevlastni_bratr2(Bratr,Sourozenec):-
        rodic_v(X,Bratr),
        rodic_v(X,Sourozenec),
        rodic_v(Y,Bratr),
        rodic_v(Z,Sourozenec),
        Y \== X,
        Z \== X,
        Z \== Y,
        muz(Bratr).