domains
s=string
predicates
    mama(string,string)
    papa(string,string)
    m(string)
    zh(string)    
    parent(string,string)
    p(string,string)
    xex(integer)

Clauses      

    parent(X,Y):-
        mama(X,Y).
    parent(X,Y):-
        papa(X,Y).
        
    p(X,Y):-
        parent(P,X),
        parent(P,Z),
        not(X=Z),
        parent(Z,S),
        parent(S,Y),!.
        

    m("Fedia").
    m("Vasia").
    m("Kostia").
    m("Alekseiy").
    m("ZHenia").
    m("Sergeiy").
    
    zh("Natasha").
    zh("Dasha").
    zh("Masha").
    zh("Elena").
    zh("Katia").
    zh("Olia").
    zh("Elia").
    
    mama("Natasha","Dasha").
    mama("Dasha","Masha").
    mama("Dasha","Fedia").
    mama("Elia","ZHenia").
    mama("Katia","Vasia").
    mama("Katia","Olia").
    mama("Elena","Vania").
    mama("Natasha","Kostia").
    mama("Kristina","Sergeiy").
    mama("Kristina","Alekseiy").
    
    
    papa("Sergeiy","Dasha").
    papa("Vania","Fedia").
    papa("Vania","Masha").
    papa("Vania","Vasia").
    papa("Vania","Olia").
    papa("Alekseiy","Vania").
    papa("Sergeiy","Kostia").
    papa("Kostia","ZHenia").
    papa("Oleg","Alekseiy").
    papa("Oleg","Sergeiy").
    
xex(X):-Z=1,write("Vvedite name Vny4atogo Plem-ka ->"),readln(X),p(X,Y),nl,write(Z),fail.
xex(X):-Z=2,write("Vvedite name Brata ->"),readln(X),p(X,Y),nl,write(Z),fail.


GOAL

makewindow(1,7,3,"xex",0,0,25,80),
write("Programma ushet vseh Vny4atuh plem9nnikov i plem9nnic"),nl,
write("Kogo iskat Vny4atogo Plem-ka y brata(1) brata y vny4atogo Plem-ka (2)"),readint(Z),xex(Z),fail.