請問一則習題

請問Lern Proglog Now!網站中的Exercise 2.2 (我還沒辦法貼網址)
Exercise  2.2 We 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).
Which of the following queries are satisfied? Where relevant, give all the variable instantiations that lead to success.

?-  magic(house_elf).
?-  wizard(harry).
?-  magic(wizard).
?-  magic(’McGonagall’).
?-  magic(Hermione).
Draw the search tree for the query magic(Hermione) .

請問第五題magic(Hermione)答案是只有dobby嗎？(用SWI-Prolog跑出來是這樣)
可是我按照他畫的樹狀圖不是應該還有hermione, 'McGonagall',和rita_skeeter嗎？？

knowledge base裡面只要刪除magic(X):- wizard(X).
在?- magic(Hermione). 的時候就會正常。

想請問若當程式比較複雜時，中間卡在:
ERROR: magic/1: Undefined procedure: wizard/1
Exception: (7) wizard(_G1541) ?
的時候，該怎麼拯救呢？

因为没有wizard/1。现在没有人是wizard，就先写个wizard(nobody). 即可。