insert(X,leaf,branch(leaf,X,leaf)).
insert(X,branch(L,Y,R),branch(L1,Y,R )) :- X<Y, insert(X,L,L1).
insert(X,branch(L,Y,R),branch(L ,Y,R )) :- X=Y.
insert(X,branch(L,Y,R),branch(L ,Y,R1)) :- X>Y, insert(X,R,R1).

element(X,leaf) :- fail.
element(X,branch(L,Y,R)) :- X<Y, element(X,L);
                            X=Y;
                            X>Y, element(X,R).

tuer(g,w). tuer(g,d). tuer(w,e). tuer(w,d). tuer(w,s).
tuer(e,k). tuer(e,d). tuer(d,s). tuer(d,a). tuer(d,k).

telefon(w). telefon(k).

verbunden(X,Y) :- tuer(X,Y); tuer(Y,X).

telefonsuche(S,P) :- telefonsuche(S,[S],P).
telefonsuche(S,L,[S]) :- telefon(S).
telefonsuche(S,L,[S|P]) 
   :- not(telefon(S)), verbunden(S,X),
      not(member(X,L)), telefonsuche(X,[X|L],P).