?- anc(tarao,ans58).

par(masuo,ans1)/1.
par(masuo,ans2)/1.

par(ans1,ans3)/1.
par(ans1,ans4)/1.
par(ans2,ans5)/1.
par(ans2,ans6)/1.
par(fune,ans7)/1.
par(fune,ans8)/1.
par(namihei,ans9)/1.
par(namihei,ans10)/1.

par(ans7,ans11)/1.
par(ans7,ans12)/1.
par(ans8,ans13)/1.
par(ans8,ans14)/1.
par(ans9,ans15)/1.
par(ans9,ans16)/1.
par(ans10,ans17)/1.
par(ans10,ans18)/1.
par(ans3,ans19)/1.
par(ans3,ans20)/1.
par(ans4,ans21)/1.
par(ans4,ans22)/1.
par(ans5,ans23)/1.
par(ans5,ans24)/1.
par(ans6,ans25)/1.
par(ans6,ans26)/1.

par(ans11,ans27)/1.
par(ans11,ans28)/1.
par(ans12,ans29)/1.
par(ans12,ans30)/1.
par(ans13,ans31)/1.
par(ans13,ans32)/1.
par(ans14,ans33)/1.
par(ans14,ans34)/1.
par(ans15,ans35)/1.
par(ans15,ans36)/1.
par(ans16,ans37)/1.
par(ans16,ans38)/1.
par(ans17,ans39)/1.
par(ans17,ans40)/1.
par(ans18,ans41)/1.
par(ans18,ans42)/1.
par(ans19,ans43)/1.
par(ans19,ans44)/1.
par(ans20,ans45)/1.
par(ans20,ans46)/1.
par(ans21,ans47)/1.
par(ans21,ans48)/1.
par(ans22,ans49)/1.
par(ans22,ans50)/1.
par(ans23,ans51)/1.
par(ans23,ans52)/1.
par(ans24,ans53)/1.
par(ans24,ans54)/1.
par(ans25,ans55)/1.
par(ans25,ans56)/1.
par(ans26,ans57)/1.
par(ans26,ans58)/1.



par(norisuke,noans1)/1.
par(norisuke,noans2)/1.
par(taiko,noans3)/1.
par(taiko,noans4)/1.
par(noans1,noans5)/1.
par(noans1,noans6)/1.
par(noans2,noans7)/1.
par(noans2,noans8)/1.
par(noans3,noans9)/1.
par(noans3,noans10)/1.
par(noans4,noans11)/1.
par(noans4,noans12)/1.

par(noans5,noans13)/1.
par(noans5,noans14)/1.
par(noans6,noans15)/1.
par(noans6,noans16)/1.
par(noans7,noans17)/1.
par(noans7,noans18)/1.
par(noans8,noans19)/1.
par(noans8,noans20)/1.
par(noans9,noans21)/1.
par(noans9,noans22)/1.
par(noans10,noans23)/1.
par(noans10,noans24)/1.
par(noans11,noans25)/1.
par(noans11,noans26)/1.
par(noans12,noans27)/1.
par(noans12,noans28)/1.


par(tarao,sazae)/1.
par(tarao,masuo)/1.
par(sazae,fune) /1.
par(sazae,namihei)/1.
par(katsuo,namihei)/1.
par(katsuo,fune)/1.
par(wakame,namihei)/1.
par(wakame,fune)/1.
par(ikura,norisuke)/1.
par(ikura,taiko)/1.

anc(X1,Y1) :- par(X1,Z2), anc(Z2,Y1).
anc(X0,Y0) :- par(X0,Y0).
