Prolog - 是否满足以下查询？

Question

我正在从以下link做运动

这是知识库：

house_elf(dobby). 
witch(hermione). 
witch(’McGonagall’). 
witch(rita_skeeter). 
magic(X):-  house_elf(X). 
magic(X):-  wizard(X). 
magic(X):-  witch(X).

我希望以下查询返回 true：

?-  magic(’McGonagall’).

但是，我在 Windows 7 上的 SWI-Prolog（AMD64，多线程，版本 7.6.4）返回以下内容：

ERROR: Stream user_input:450:4 Syntax error: Unexpected end of clause
?- magic('McGonagall').
ERROR: Undefined procedure: wizard/1
ERROR: In:
ERROR:    [9] wizard('McGonagall')
ERROR:    [8] magic('McGonagall') at c:/users/some_user/google drive/projects/nlp/prolog/code/ex2_2.pl:6
ERROR:    [7] <user>
   Exception: (9) wizard('McGonagall') ? creep
   Exception: (8) magic('McGonagall') ? creep
?- 

为什么会失败？

Answer 1

在magic/1 谓词中，您调用wizard/1，这是未定义的：

magic(X):-  house_elf(X). 
magic(X):-  wizard(X).
magic(X):-  witch(X).

结果是 Prolog 出错，因为它调用了一个未定义的谓词。

例如，您可以定义一个 总是 失败的 wizard/1 谓词：

% a world without wizards (if you do not specify extra wizards)
wizard(_) :- fail.

或使用向导填充您的“世界”，例如：

wizard(dumbledore).
wizard(remus_lupin).
%% ...