Assume, you are working with the following knowledge base:

house_elf(dobby).

witch(hermione).

witch(McGonagall).

witch(rita_skeeter).

magic(X):- house_elf(X).

magic(X):- wizard(X).

magic(X):- witch(X).

Write the details of steps of search (unification, resolutions, and back tracking) and also the answer for each of the following queries. (You can show the details of your search process by drawing search trees for each of the following queries)

?- magic(Hermione).

?- magic(hermione).