?- anc(tarao,ans10).


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(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).
