02.04. Beweis und Suchbaum

Gegeben ist folgende Wissensbasis:

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

Welche der folgenden Anfragen lassen sich beweisen und wie werden eventuelle Variablen belegt?
_{Für diese Aufgabe gibt es keine digitale Version, löse sie also bitte eigenständig.}

?- magic(house_elf).
?- wizard(harry).
?- magic(wizard).
?- magic(mcGonagall).
?- magic(Hermione).

Zeichne den Suchbaum für die 4. Anfrage.
_{Für diese Aufgabe gibt es keine digitale Version, löse sie also bitte eigenständig.}

Gib alle Lösungen für die 5. Anfrage in der Reihenfolge an, in der sie Prolog ausgeben würde.

Wenn du Unterstützung bei dieser Aufgabe brauchst, kannst du dir die Unteraufgabe hierzu anschauen.