Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- mother(miaWagner, emmaSchneider).
- mother(emmaSchneider, jonasSchneider).
- mother(emmaSchneider, selinaSchneider).
- mother(selinaMueller, kevinMueller).
- mother(selinaMueller, davidSchulz).
- mother(vanessaMueller, selinaMueller).
- mother(juliaMueller, danielMueller).
- mother(juliaMueller, thomasMueller).
- mother(ninaSchmidt, leaSchmidt).
- mother(leaSchmidt, lucaSchmidt).
- mother(leaSchmidt, florianSchmidt).
- mother(selinaSchneider, emmaSchmidt).
- mother(vanessaMueller, melinaMueller).
- mother(annaBecker, mariahBecker).
- mother(mariahBecker, alinaBecker).
- mother(lucaSchmidt, michaelSchulz).
- father(noahSchneider, emmaSchneider).
- father(kevinMueller, jonasSchneider).
- father(kevinMueller, selinaSchneider).
- father(thomasWeber, kevinMueller).
- father(thomasWeber, davidSchulz).
- father(danielMueller, selinaMueller).
- father(fabianMueller, danielMueller).
- father(fabianMueller, thomasMueller).
- father(thomasMueller, leaSchmidt).
- father(lukasSchulz, lucaSchmidt).
- father(lukasSchulz, florianSchmidt).
- father(florianSchmidt, emmaSchmidt).
- father(danielMueller, melinaMueller).
- father(michaelBecker, mariahBecker).
- father(jonasSchneider, alinaBecker).
- father(danielSchulz, michaelSchulz).
- married(noahSchneider, miaWagner).
- married(emmaSchneider, kevinMueller).
- married(selinaMueller, thomasWeber).
- married(vanessaMueller, danielMueller).
- married(juliaMueller, fabianMueller).
- married(thomasMueller, ninaSchmidt).
- married(leaSchmidt, lukasSchulz).
- married(lucaSchmidt, danielSchulz).
- married(selinaSchneider, florianSchmidt).
- married(emmaSchneider, melinaMueller).
- married(annaBecker, michaelBecker).
- married(mariahBecker, jonasSchneider).
- married(alinaBecker, michaelSchulz).
- married(michaelMeier, emmaMeier).
- related(X,Y) :- father(X,Y).
- related(X,Y) :- father(Y,X).
- related(X,Y) :- mother(X,Y).
- related(X,Y) :- mother(Y,X).
- related(X,Y) :- married(X,Y).
- related(X,Y) :- married(Y,X).
- firstDegree(X,S) :- findall(X1,(related(X,X1), X\==X1), L), list_to_set(L,S).
- expand([X],O) :- firstDegree(X,L), append([X],L,O).
- expand([X|I],O) :- firstDegree(X,L1), expand(I,L2), append(L1,L2,L), list_to_set(L,O).
- find(Y,I,G) :- member(Y,I), G is 0.
- find(Y,I,G) :- not(member(Y,I)), expand(I,O), find(Y,O,G1), G is G1+1.
- find(Y,I,50) :- fail.
- vwg(X,Y,G) :- append([X],[],I), find(Y,I,G).
Advertisement
Add Comment
Please, Sign In to add comment
