<div class="notebook">

<div class="nb-cell markdown" name="md1">
## Wissensbasis
</div>

<div class="nb-cell program" data-background="true" name="p1">
house_elf(dobby).
witch(hermione).
witch(mcGonagall).
witch(rita_skeeter).
wizard(goofy).
magic(X):- house_elf(X).
magic(X):- wizard(X).
magic(X):- witch(X).
</div>

<div class="nb-cell markdown" name="md2">
Welche der folgenden Anfragen lassen sich beweisen und wie werden eventuelle Variablen belegt?
Klicke auf den Pfeil am Ende der Anfragen, um die Anfrage an Prolog zu stellen.
</div>

<div class="nb-cell query" name="q1">
magic(house_elf).
</div>

<div class="nb-cell query" name="q5">
magic(wizard).
</div>

<div class="nb-cell query" name="q2">
wizard(harry).
</div>

<div class="nb-cell query" name="q3">
trace, magic(mcGonagall).
</div>

<div class="nb-cell query" name="q4">
trace, magic(Hermione).
</div>

</div>