03.01. Fressen und gefressen werden

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

Zusätzlich sind die untenstehenden Anfragen gegeben. Beantworte folgende Fragen :

• Wie lauten die Antworten auf die Anfragen?
• In welcher Reihenfolge werden die Ergebnisse für die letzte Anfrage ausgegeben?

?- verdaut(storch,frosch).
?- verdaut(storch,moskito).
?- verdaut(frosch,X).
?- verdaut(X,Y).

Deine Lösungen kannst du eigenständig über den Programmieren-Button überprüfen.