<div class="notebook">

<div class="nb-cell markdown" name="md1">
## Fressen und gefressen werden
</div>

<div class="nb-cell markdown" name="md2">
Gegeben ist die folgende Wissensbasis:
</div>

<div class="nb-cell program" data-background="true" name="p1">
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).
</div>

<div class="nb-cell markdown" name="md3">
Zusätzlich sind die untenstehenden Anfragen gegeben. Überlege dir *vorher*, was die Lösung zu der jeweiligen Anfrage ist und überprüfe dann deine Lösung:
</div>

<div class="nb-cell query" name="q1">
verdaut(storch,frosch).
</div>

<div class="nb-cell query" name="q2">
verdaut(storch,moskito).
</div>

<div class="nb-cell query" name="q3">
verdaut(frosch,X).
</div>

<div class="nb-cell query" name="q4">
verdaut(X,Y).
</div>

</div>