03.01.01. Fressen und gefressen werden

Nun ein paar grundlegende Fragen!

Gegeben ist die folgende Wissensbasis:

verdaut(X,Y) :- hatgegessen(X,Y).
verdaut(X,Y) :- hatgegessen(X,Z),
                verdaut(Z,Y).
hatgegessen(moskito,blut(john)).
hatgegessen(frosch,moskito).
hatgegessen(storch,frosch).