ate(lizard,ant).
ate(mouse,lizard).
ate(snake,mouse).
ate(cat,mouse).
ate(eagle,snake).
ate(bird,ant).
ate(eagle,bird).
digest(X,Y):-ate(X,Y).
digest(X,Y):-ate(X,Z),digest(Z,Y).